Interpreting LISP: Programming and Data Structures, Second Edition

© 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. Knott¹ 

(1)Civilized Software Inc., Silver Spring, Maryland, USA

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 ...