Simple tail calls

Michael Day mikeday at yeslogic.com
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.

Cheers,

Michael

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


More information about the Es-discuss mailing list