Abstract
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 a LISP Interpreter works in effect, if not in fact.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2017 Gary D. Knott
About this chapter
Cite this chapter
Knott, G.D. (2017). Binding Actual Values to Formal Arguments. In: Interpreting LISP. Apress, Berkeley, CA. https://doi.org/10.1007/978-1-4842-2707-7_19
Download citation
DOI: https://doi.org/10.1007/978-1-4842-2707-7_19
Published:
Publisher Name: Apress, Berkeley, CA
Print ISBN: 978-1-4842-2706-0
Online ISBN: 978-1-4842-2707-7
eBook Packages: Professional and Applied ComputingProfessional and Applied Computing (R0)Apress Access Books