Simple tail calls

Michael Day mikeday at
Sun Dec 7 00:11:17 PST 2008

Hi Peter,

> From what I understand, if lambdas are supposed obey Tenent's
> principle, then they cannot have a return statement/expression.
> Wrapping an expression in a lambda must not change the meaning of the
> program. the following would need to be equivalent.

Right, I personally think this is unnecessary; functions don't follow 
this principle, after all.

I think it makes sense for expressions to have the same meaning, but not 
control flow statements when moved into a new execution context.



Print XML with Prince!

More information about the Es-discuss mailing list