Efficient and Compositional Evaluation of Untyped Expressions
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.


Emil Axelsson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Trends in Functional Programming

Areas of Advance

Information and Communication Technology

Subject Categories

Software Engineering

More information