Semantic Extensibility with Vau (
http://bit.ly/rBc0uP) completes the
machinery required to describe Kernel meta-circularly. Along the way
we explore a subclass-like notion for Actor behaviors and use
encapsulated types to re-implement the Banker's Queue.
On Fri, Nov 25, 2011 at 12:05 PM, Dale Schumacher
<
[hidden email]> wrote:
> 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.
============================================================
FRIAM Applied Complexity Group listserv
Meets Fridays 9a-11:30 at cafe at St. John's College
lectures, archives, unsubscribe, maps at
http://www.friam.org
Locked
