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