Allen's lambda syntax proposal
mikeday at yeslogic.com
Fri Dec 5 00:20:41 PST 2008
> 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?
Print XML with Prince!
More information about the Es-discuss