Allen's lambda syntax proposal

Michael Day mikeday at yeslogic.com
Fri Dec 5 00:20:41 PST 2008


Hi Brendan,

> This is the other hazard with lambdas. The program equivalences 
> Tennent's Correspondence Principle enables are  good for refactoring, 
> but bad for thinkos like the above.

It seems like most of the problems come from lambdas being able to 
contain statements as well as expressions. If there were only lambda 
expressions, I think they would be much easier to reason about, but 
currently there is no way to embed loops in expressions, right?

Cheers,

Michael

-- 
Print XML with Prince!
http://www.princexml.com


More information about the Es-discuss mailing list