LISP - eine funktionale Einführung

Abstract

This text is an introduction to LISP viewed principally as a functional or applicative programming language, with an emphasis on higher-order functions. Function definitions are written in the LISPEN dialect of LISP, which combines the definition methods of the MACLISP [e. g. macros] and INTERLISP [e. g. LANBDA nospread functions] families in a systematic manner. [Our representatives for the MACLISP and INTERLISP families are FRANZ LISP and SIEMENS INTERLISP, respectively.] LISPEN, running in both FRANZ LISP and SIEMENS INTERLISP, is also used to illustrate the implementation of an extended LISP dialect in basic LISP. Throughout the text relationships between LISP and ALGOL [PASCAL] are discussed, illuminating aspects of the current debate between functional and imperative programming methodologies. The usefulness of LISP for implementing still higher-level language constructs is demonstrated with a generalized pattern matcher, MUFIT, an easily portable LISP embedding of a FIT subset; on the basis of MUFIT a mini deduction system, MUDED, is developed. Only after having introduced functional LISP programming, are imperative LISP features like property lists, variable assignments, sequential programs, and pointer manipulation discussed.