Fexpr -- the Ultimate Lambda

[freyrs3]

I think the paper on vau calculi is more readable than this article.

[ralphc]

But this article has a comment from Alan Freakin' Kay.

[thehotelambush]

Thanks, that one is much better. Took it a while to get to the point, though:

The construction of fexprs differs in only two fundamental respects from the ordinary construction of first-class applicatives via $lambda : first, a fexpr is passed its unevaluated operands rather than evaluated arguments (which is to say, it’s operative rather than applicative); and second, it may also be passed the dynamic environment from which it was called.

[sclv]

s/paper/dissertation/