Allen's lambda syntax proposal

[Michael Day]

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