[PLT logo] Lecture 5, Comp 311

A Meta-Interpreter for LC (Meaning)

In Lecture 4, we developed a "syntactic" interpreter for LC that relied exclusively on substitution to interpret variables; such interpreters repeatedly rewrite programs in the syntax of the source language until the reduced form is a value. This is a powerful interpretation technique. For instance, even utilities as seemingly far removed from programming languages as the sendmail daemon use it for configuration files.

At the end of Lecture 4, we introduced a different form of interpreter that relies on a table of varible/value pairs, called an environment to interpret variables. Our rationale for introducing this approach was computational efficiency. This approach to interpretation eliminates the high cost of traversing the body of procedure (performing susbstitutions) whenever the procedure is applied. In this lecture, we will look at a different motivation for environment-based interpreters, which we henceforth call meta-interpreters. A meta-interpreter for LC use an environment to assign meaning to arbitrary program phrases (expressions) not just closed ones. An environment is a partial function mapping variables names (symbols) to values in the programming language. A meta interpreter takes an environment as an auxiliary argument and relies on this environment to assign meaning to the free variables in the input phrase. The primary motivation for the term ``meta'' in ``meta-interpreter'' is that a a meta-interpreter assigns meaning to programs by reducing the meaning of program phrases to the meanings of their components. A meta-interpreter assigns meaning to program phrases using the same inductive framework that logicians use to assign meaning to mathematical formulas. This process reduces the meaning of all program phrases to the meaning of a single program written in a metalanguage. If this program happens to be purely functional, then (as we will see later in the course) the meta-interpreter defines the meaning of programs in exactly the same way as logicians assign meaning to formulas in a mathematical theory such as set theory. In the last lecture, we wrote a meta-interpreter for LC in Scheme that represented environments as lists of variable/value pairs and closures as records containing the procedure text and the closing environment. We also represented LC numbers as Scheme integers. This convention enables us to interpret LC addition as Scheme addition. We can make this interpreter for LC more abstract by representing closures (evaluated lambda-expressions) as Scheme procedures. Then, e can use Scheme application to interpret LC application.

Here is a sketch of MEval, which is essentially our environment-based envEval from last lecture with the representations of environments and closures left unspecified.

(define MEval
  (lambda (M env)
    (cond
      ((var? M) (lookup (var-name M) env))
      ((num? M) (num-num M))
      ((add? M) (+ (MEval (add-left M) env)
		  (MEval (add-right M) env)))
      ((proc? M) (make-closure M env))
      ((app? M) (MApply (MEval (app-rator M) env)
		  (MEval (app-rand M) env))))))

Note: The + operation used above must be chosen with care, since the addition operation in the meta-language won't necessarily be the same as that of the implemented language.

What are the values in LC? There are two: numerals and procedures. Numerals can be represented directly in the meta-language. To avoid a premature choice of representation for closures, we have chosen to use the abstractions make-closure and MApply. Thus, if we ever need to change the interpretation of closures, we can do so without changing the interpreter itself.


Exercise: Which elements of the interpreter would we have to change if we change one of our representation choices?

In the special case when the language we are interpreting is the same as that in which the interpreter is written (for instance, a Scheme interpreter written in Scheme), we call the interpreter meta-circular.

Let us examine the representation of procedures.

(define make-closure
  (lambda (proc-exp env)
    (lambda (value-for-param)
      (MEval (proc-body proc-exp)
	(extend env (proc-param proc-exp) value-for-param)))))

(define MApply
  (lambda (val-of-fp val-of-arg-p)
    (val-of-fp val-of-arg-p)))
Note that the closure returned by make-closure closes over env.

Abstractly, we can characterize MApply and MEval as follows:

  (MApply (make-closure (make-proc x B) Env) Val)
= (MEval B (extend Env x Val))


Puzzle: Given the declaration
(define-structure (closure P E))
how do we write MApply?

Environment Representation

One part of the interpreter has still been left unspecified: the representation of environments. Before considering the available alternatives, it is worth-while to consider environments abstractly too. There are three things we need to understand with respect to environments: the lookup method, the extension method, and the empty environment. The latter two create new environments, while the first of these extracts information from information. Here are the equations that relate the constructors and the selector:

(lookup Var (empty-env)) = (error 'lookup "variable ~a not found" Var) 
(lookup Var (extend Env VarN Val)) =
  (if Var is VarN
      Val
      (lookup Var Env))

What is a good representation choice for environments? Note that there is only a fixed number of free variables in a given program, and that we can ascertain how many there are before we begin evaluating the program. On the other hand, we can be lax and assume that there can be arbitrarily many free variables. A good representation in the former case is the vector; in the latter case, we might wish to use lists. However, there is at least one more representation.


Representing Environments as Procedures

Consider the following implementations:

(define lookup
  (lambda (Var Env)
    (Env Var)))

(define empty-env
  (lambda ()
    (lambda (Var)
      (error 'lookup "variable ~a not found" Var))))
We can then prove that this implementation satisfies one of the equations that characterize environments:
  (lookup var (empty-env))
= (lookup var ((lambda () 
      (lambda (Var) (error 'lookup "variable ~a not found" Var)))))
= (lookup var (lambda (Var) (error 'lookup "variable ~a not found" Var)))
= ((lambda (Var) (error 'lookup "variable ~a not found" Var)) var)
= (error 'lookup "variable ~a not found" var)
as desired. We can similarly define extend:
(define extend
  (lambda (Env VarN Val)
    (lambda (name)
      (if (eq? name VarN)
	Val
	(Env name)))))


Exercise: Verify that extend and lookup satisfy the above equation.

Binding Constructs

Now suppose we added some new binding constructs to LC. For instance, suppose we added seq-let, and defined its behavior as follows:

  (MEval "(seq-let Var RHS Body)" env)
=
  (MEval Body (extend env Var
	        (MEval RHS env)))

However, now say we add recursive lexical bindings. Then we want

  (MEval "(rec-let Var RHS Body)" env)
=
  (MEval Body (extend env Var
	        (MEval RHS ...)))
where the ... represents the (extend env Var ...) term. How can we implement such a construct? We clearly need a way to create an environment that refers to itself. If we represent environments as procedures, we can use recursive procedures to implement this kind of extension.


Exercise: Can we use lists or other representations to accomplish this goal?

Hint: What did we do in Comp 210 to create data structures that refer to themselves?


cork@cs.rice.edu/ (adapted from shriram@cs.rice.edu)