The function of FUNCTION in LISP or why the FUNARG problem should be called the environment problem

ABSTRACT

A problem common to many powerful programming languages arises when one has to determine what values to assign to free variables in functions. Different implementational approaches which attempt to solve the problem are considered. The discussion concentrates on LISP implementations and points out why most current LISP systems are not as general as the original LISP 1.5 system. Readers not familiar with LISP should be able to read this paper without difficulty since we have tried to couch the argument in ALGOL-like terms as much as possible.

REFERENCES

• 1: Daniel G. Bobrow , Daniel L. Murphy, Structure of a LISP system using two-level storage, Communications of the ACM, v.10 n.3, p.155-159, March 1967 [doi>10.1145/363162.363185]
• 2: John McCarthy, LISP 1.5 Programmer's Manual, The MIT Press, 1962
• 3: P. J. Landin, The next 700 programming languages, Communications of the ACM, v.9 n.3, p.157-166, March 1966 [doi>10.1145/365230.365257]
• 4: P. J. Landin, "A λ-Calculus Approach", in <u>Advances in Programming and Non-Numerical Computation</u>, Pegamon Press, 1966, pp.77--141.
• 5: Joseph Weizenbaum, Recovery of reentrant list structures in SLIP, Communications of the ACM, v.12 n.7, p.370-372, July 1969 [doi>10.1145/363156.363159]
• 6: J. Weizenbaum, "The FUNARG Problem Explained", unpublished memorandum, MIT, 1968.