From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: Ada202X : Adding functors
Date: Thu, 15 Nov 2012 10:52:02 -0500
Date: 2012-11-15T10:52:02-05:00 [thread overview]
Message-ID: <NLWdnUlRH6U-kjjN4p2dnAA@giganews.com> (raw)
In-Reply-To: <15w6caje3zsh$.t5nqtwoa77x5$.dlg@40tude.net>
On 11/15/2012 05:11 AM, Dmitry A. Kazakov wrote:
>> IMHO, lambda closures are better in every way than a 'functor', and I for
>> one would welcome their addition to Ada.
>
> I doubt that could be made compatible with static typing. Comparing
> advantages of both static typing is a clear winner.
>
> But it is of course an interesting question how much functions could be
> made first class citizens without loosing safety (and proper typing).
Could you elaborate on what you mean here? There are statically typed
functional languages where functions are first class and that also have
a reasonable notion of type safety.
Peter
next prev parent reply other threads:[~2012-11-15 15:52 UTC|newest]
Thread overview: 44+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-11-12 22:09 Ada202X : Adding functors Martin
2012-11-12 23:14 ` Jeffrey Carter
2012-11-12 23:19 ` Martin
2012-11-13 10:45 ` Georg Bauhaus
2012-11-13 12:08 ` Yannick Duchêne (Hibou57)
2012-11-13 12:35 ` Martin
2012-11-12 23:44 ` Adam Beneschan
2012-11-13 2:11 ` Jeffrey Carter
2012-11-13 11:11 ` Martin
2012-11-14 0:51 ` Adam Beneschan
2012-11-14 8:39 ` Martin
2012-11-14 16:54 ` Adam Beneschan
2012-11-14 18:54 ` Martin
2012-11-14 20:37 ` Dmitry A. Kazakov
2012-11-14 20:57 ` Shark8
2012-11-14 21:31 ` Martin
2012-11-14 22:42 ` Adam Beneschan
2012-11-15 9:27 ` Dmitry A. Kazakov
2012-11-14 21:45 ` Simon Wright
2012-11-14 22:22 ` Martin
2012-11-14 22:27 ` Martin
2012-11-13 4:22 ` Shark8
2012-11-15 0:20 ` sbelmont700
2012-11-15 7:12 ` Martin
2012-11-15 12:21 ` Georg Bauhaus
2012-11-15 12:31 ` Georg Bauhaus
2012-11-15 12:46 ` Martin
2012-11-16 6:15 ` Randy Brukardt
2012-11-15 10:11 ` Dmitry A. Kazakov
2012-11-15 15:52 ` Peter C. Chapin [this message]
2012-11-15 17:04 ` Dmitry A. Kazakov
2012-11-15 19:57 ` Georg Bauhaus
2012-11-15 20:39 ` Dmitry A. Kazakov
2012-11-16 0:15 ` Peter C. Chapin
2012-11-16 10:12 ` Georg Bauhaus
2012-11-16 0:01 ` Peter C. Chapin
2012-11-16 6:09 ` Randy Brukardt
2012-11-16 12:35 ` Peter C. Chapin
2012-11-16 18:10 ` Martin
2012-11-16 8:59 ` Dmitry A. Kazakov
2012-11-16 12:20 ` Peter C. Chapin
2012-11-16 17:44 ` Dmitry A. Kazakov
2012-11-18 15:58 ` Peter C. Chapin
2012-11-15 21:34 ` sbelmont700
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox