Dale Schumacher
2011-11-25 18:05:31 UTC
Fexpr the Ultimate Lambda (http://bit.ly/v6yTju) a treatise on
evaluation, in honor of John McCarthy.
John Shutt’s Kernel language, and its underlying Vau-calculus, is a
simplified reformulation of the foundations of the LISP/Scheme family
of languages. It is based on the notion that evaluation should be
explicit, patterned after Fexprs, rather than implicit, using Lambda.
The results is a powerful well-behaved platform for building
extensible languages. Not extensible in syntax, but in semantics. We
have implemented the key mechanisms of Vau-calculus using actors. The
actor-based evaluation strategy introduces inherent concurrency
prevasively throughout the evaluation process.
evaluation, in honor of John McCarthy.
John Shutt’s Kernel language, and its underlying Vau-calculus, is a
simplified reformulation of the foundations of the LISP/Scheme family
of languages. It is based on the notion that evaluation should be
explicit, patterned after Fexprs, rather than implicit, using Lambda.
The results is a powerful well-behaved platform for building
extensible languages. Not extensible in syntax, but in semantics. We
have implemented the key mechanisms of Vau-calculus using actors. The
actor-based evaluation strategy introduces inherent concurrency
prevasively throughout the evaluation process.