- Structure and Interpretation of Computer Programs. Until very recently, MIT used to teach freshman computer science by having them write interpreters. SICP is the now-classic textbook for that course.
- Lisp in Small Pieces is a complete, up-to-date treatment of writing high-performance interpreters and compilers for dynamic languages (with Scheme used as an example).
- My post on meta-circular evaluators and first-class macros includes a complete meta-circular interpreter for a large chunk of Scheme.
- My recommended reading for programming languages.
A simple language: Lambda calculus
The lambda calculus is one of the simplest Turing-complete programming languages, containing only three expression types: variable references, function calls, and anonymous functions. Its BNF grammar has just three rules:
<exp> ::= <variable> [references] | (<exp> <exp>) [function calls] | (lambda (<variable>) <exp>) [anonymous functions]
Substitution-based interpreters model an executing program's state as a program, and they make progress by repeatedly transforming one program into another. Substitutional interpreters based on textual substitution or raw string manipulating (e.g. Tcl) are notoriously inefficient. Tree-based substitutional interpreters can achieve reasonable efficiency, but their real strength lies in their straightforward implementation.
Substitutional interpreters can become constricting when used to implement more complex language features. Recursion, dynamic allocation and side effects, in particular, can be onerous. These interpreters also require special care to avoid exponential blow-up in code size during the reduction process.
A tree-based substitutional interpreter re-arranges the abstract syntax tree of the program during interpretation. A tree-based substitutional interpreter for the lambda calculus uses one observation to make progress:
((lambda (v) ... v ...) argument)==
... argument ...
The formalized version of this observation---that when you apply a function, you can replace occurrences of its parameter with the argument---is called β-reduction.
In Scala, the interpreter boils down to a mechanism for performing
"binding-aware" substitutions on expression trees, and a mechanism for performing β-reduction.
A binding-aware substitution makes sure that it won't accidentally
change the meaning of an expression when it performs a substitution.
For example, if we try to substitute the expression
in place of the variable
v in the body of the function
(lambda (x) ...), then the value of
be "captured" by the formal parameter inside the lambda term, when it's supposed
to belong to the outer binding of the variable
The philosophy behind denotational interpretation is to encode the interpreted language's features as the equivalent features in the host language. (Meta-circular interpreters take this approach to the extreme by defining a language in terms of itself.) In the study of semantics, the host language is mathematics.
If the purpose of the interpreter is to allow users of some program to write plug-ins, the tight coupling between the interpreted language and the host language makes denotational interpreters attractive: if done right, the program won't be able to tell the difference between compiled procedures and interpreted procedures.
On the other hand, if the interpreted language contains features not present in the host language, then the cleanliness and simplicity of this approach starts to break down.
A denotational interpreter for the lambda calculus only has to map each expression to a value, and in the pure lambda calculus, the only kind of value available is the function. Of course, an expression, by itself, may not perfectly define a function; for example, the meaning of
(lambda (x) (f x))
depends on what the value of the variable
Because this term contains a free variable, it is called an open term.
To turn this expression into a value, it must be coupled with a
dictionary that determines the value of its free variables; that
dictionary is called an environment.
When an open term is paired with an environment that defines all of
its free variables, that pair is called a closure.
A closure unambiguously determines a procedure.
In an implementation, the fundamental run-time data structure in a denotational interpreter of the lambda calculus is the closure:
A big-step interpreter is a kind of operational interpreter. An operational interpreter is one that focuses on moving from one machine state to the next. (A substitutional interpreter is actually a special kind of operational interpreter in which the state of interpretation is encoded as a program itself.) The core of an operational interpreter is a transition function that takes in a machine state and returns the next machine state(s). In a big-step interpreter, the transition function isn't required to terminate on all inputs, and it is generally recursive.
A big-step interpreter for the lambda calculus uses expression closures for machine states, and it "reduces" one expression closure into another. For example, if the current machine state is a closure containing a variable v and an environment env : Variable → Value, then the reduction of this state is the closure env(v).
Big-step interpreters don't tie themselves to implementing features of the interpreted language as features in the host language. As a result, they don't chafe when trying to implement features not present in the host language. On the other hand, they don't make interaction between the host language and the interpreted language quite as natural.
In Scala, a big-step interpreter for the lambda calculus has roughly the same implementation complexity as the denotational interpreter:
A small-step interpreter is an operational interpreter which factors computation into guaranteeably computable chunks. The core of a small-step interpreter is a transition function that is guaranteed (by the implementer) to terminate for any input. Interpreting a program consists of repeatedly applying the transition function. Small-step interpreters have the highest implementation complexity, but they make it possible to implement complex language features (like threads or continuations) or to perform debugging by tracing. Because small-step interpreters don't leverage the host language's stack, it is possible to write a garbage collector for a small-step interpreter. (Denotational and big-step interpreters have to trust the host language's garbage collection; substitutional interpreters can get away with reference-counting on trees.)
The keys to implementing a small-step interpreter for the lambda calculus are value-expression contexts and continuations. A value-expression is a hybrid syntactic/semantic expression-like value, in which some of its sub-trees are values instead of expressions. A continuation, in this case, is just a model of the program's run-time stack.
Value-expressions and their contexts
Suppose an interpreter wants to evaluate an expression
(+ a (* b c)).
It will first evaluate the
a into a value.
The interpreter will then look up
a in the current environment
to find its value is (perhaps)
Then, the current expression becomes a value-expression, with a semantic value (noted with italics) inside it:
(+ 3 (* b c)).
Next, it will evaluate
b and then
c, by which point the current value-expression will look something like:
(+ 3 (* 4 5)).
At this point, it has enough information to evaluate
(* 4 5), turning the top-level value-expression into
(+ 3 20).
Then, the whole program evaluates into the value
All of the intervening states of computation between
(+ a (* b c)) and
23 are value-expressions.
A value-expression context is a value-expression with a "hole" in
it, representing a place to drop in some value.
For example, if evaluating the value-expression
(+ 3 (* b c)),
once the interpreter decides to evaluate
b next, it can remember where it was by creating a context:
(+ 3 (* ☐ c)).
Then, it can evaluate the sub-expression
b into the value
4 and drop the result into the "hole" to create a
new value-expression context.
When a language involves procedures, evaluating a value-expression might switch evalution to some other value-expression inside another procedure. So, now a simple value-expression context by itself isn't rich enough to remember where the computation was before evaluating a sub-expression. Continuations are like a context for an entire computation, and they are equivalent to a run-time stack. A continuation is a list of value-expression contexts paired with environments. Once the current value-expression is fully resolved to a value, the head of that list is popped off, and the value is dropped into the hole before resuming execution.
There's a data structure for modeling contexts precisely called a zipper, but a small-step interpreter doesn't need an actual context structure. For any value-expression object, we can define two functions: next-sub-expression and insert-value. The next-sub-expression function returns the next unevaluated sub-expression, and the insert-value function returns a new value-expression with the "next" sub-expression to be evaluated replaced by a value.