In order to implement the e operator for evaluating λ-expression bodies within the LISP interpreter, we must devise a mechanistic way to bind actual arguments to formal arguments and to honor the contexts thus established during the time that a related λ-expression is being evaluated. There are several ways to do this. The earliest approach, which was employed in the original LISP interpreter for the IBM 704 and 709, was to maintain a so-called association list. It is convenient to describe this approach and then use it as a model to explain how ...
© Gary D. Knott 2017
Gary D. Knott, Interpreting LISP, 10.1007/978-1-4842-2707-7_19
19. Binding Actual Values to Formal Arguments
Gary D. Knott1
(1)Civilized Software Inc., Silver Spring, Maryland, USA