Removal of function types

Neal Gafter neal at
Wed Jul 7 21:27:42 PDT 2010

"veridic genetics" is an interesting pair of words, but I have no idea what that would mean as a language construct, or how it would help address any of the issues here.  Please tell us more.


On Jul 7, 2010, at 4:17 PM, "Nathan Bryant" <nathan.bryant at> wrote:

> Perhaps there is an alternative middle ground, that would provide
> function types but make them look like SAM's: variadic generics.
> Wink wink, nudge nudge.
> -----Original Message-----
> From: lambda-dev-bounces at
> [mailto:lambda-dev-bounces at] On Behalf Of Doug Lea
> Sent: Wednesday, July 07, 2010 7:06 PM
> To: lambda-dev at
> Subject: Re: Removal of function types
> On 07/07/10 13:18, Stephen Colebourne wrote:
>> I suggest using this thread to comment on the removal of function
> types :-)
> As one of the instigators-by-counter-example of function types,
> I do wonder what the plan is for providing dozens if not
> hundreds of SAM types for (parallel) aggregate operations.
> As in my infamous workarounds at:
> -Doug

More information about the lambda-dev mailing list