Functional Programming

Abstract

In this chapter we will be examining the language design aspects of the major applicative programming language LISP. As such, this chapter is not meant to be a tutorial on LISP. The reader who has not had previous experience with the language would do well to read the primer by [Weissman 67] or [Winston 79] for an excellent introduction to the language. I will begin with a general discussion of functions and evaluation. This is followed by showing how programs and data can be represented via a uniform mechanism, the so-called S-expression. Then I present the LISP interpreter in LISP, to reveal both the simple semantics of this powerful language and the simplicity of writing a sophisticated program. In the later sections I examine more detailed issues of language design and implementation relating to LISP including shallow binding, the handling of FEXPRs and FUNARGs and lazy evaluation. The treatment here has been especially influenced by John Allen’s Anatomy of LISP, (McGraw-Hill), which is recommended to the reader who wants a more advanced discussion of these topics.