Efficient and Compositional Evaluation of Untyped Expressions

Other conference contribution, 2014

We give an efficient and compositional implementation of evaluation for an untyped representation of expressions. Building on Baars and Swierstra's "Typing Dynamic Typing", all tag checking is deferred to an initial dynamic compilation phase after which evaluation proceeds without any tag checking. The technique lends itself particularly well to a compositional implementation, where parts of the expression are defined separately, and this is also where we see the highest performance gains.