transparent lambda

Mark Mahieu markmahieu at googlemail.com
Mon Dec 28 12:30:10 PST 2009


On 28 Dec 2009, at 20:18, Neal Gafter wrote:

> On Mon, Dec 28, 2009 at 12:09 PM, Mark Mahieu <markmahieu at googlemail.com> wrote:
> Hmm.  Wouldn't it only *break* TCP if it were also valid in a nested lambda but with a different semantic meaning, or if there were no corresponding form for when the statement is wrapped in a lambda?
> 
> I'd say "syntax error" is a pretty serious breakage.  To put it another way, the correspondence principle applied to lambda expressions says the meaning of a (nested) expression should not change when wrapped in a lambda.  Changing the meaning from "allowed" to "not allowed" is therefore not transparent.
> 
> Any expression form that has subexpressions should be capable of being nested.
> 
> Cheers,
> Neal
> 

I see - that certainly clears things up.  I should probably revisit Tennent's text with a stricter interpretation of 'equivalent', 'analogous mechanism' etc :)

Thanks for your patience.

Mark

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/closures-dev/attachments/20091228/529cd056/attachment.html 


More information about the closures-dev mailing list