Lisp

Lisp ist eine Familie von Programmiersprachen, die 1958 erstmals spezifiziert wurde und am Massachusetts Institute of Technology (MIT) in Anlehnung an den Lambda-Kalkül entstand. Es ist nach Fortran die zweitälteste Programmiersprache, die noch verbreitet ist.

Auf Basis von Lisp entstanden zahlreiche Dialekte. Zu den bekanntesten zählen Common Lisp und Scheme. Daher bezieht sich der Begriff Lisp oft auf die Sprachfamilie und nicht auf einen konkreten Dialekt oder eine konkrete Implementierung.

Geschichte

Lisp steht für List Processing (Listen-Verarbeitung). Damit waren ursprünglich Fortran-Unterprogramme gemeint, mit denen symbolische Berechnungen durchgeführt werden sollten, wie sie im Lambda-Kalkül gebraucht werden. Steve Russell, einer der Studenten von John McCarthy, kam dann auf die fundamentale Idee, einen Interpreter für diese Ausdrücke zu programmieren, womit die Programmiersprache Lisp geboren war.

Die Grunddatenstrukturen von Lisp sind Einzelwerte (Skalarwerte), die Atome genannt werden, und Listen. Die Listen können beliebig verschachtelt werden (Listen von Listen). Damit lassen sich auch leicht Datenstrukturen wie ein assoziatives Array implementieren. Die Listen werden mit runden Klammern dargestellt:

<syntaxhighlight lang="lisp"> (A B C) </syntaxhighlight>

Auch Programmanweisungen sind Listen, wobei das erste Listenelement die auszuführende Funktion identifiziert. Es gibt somit keinen grundsätzlichen Unterschied zwischen Daten und Programmanweisungen; diese Eigenschaft wird Homoikonizität genannt. Der Programmierer kann so beispielsweise neue Kontrollstrukturen oder Objektsysteme (OOP) entwickeln (Metaprogrammierung, Makros). Es ermöglicht aber auch Programmteile zur Laufzeit beliebig zu manipulieren.

Lisp bietet dem Programmierer große Flexibilität und weitreichende Einflussmöglichkeiten, weshalb es manchmal auch als programmierbare Programmiersprache bezeichnet wird. Datenstrukturen werden dynamisch aufgebaut, ohne dass der Programmierer explizit Speicherplatz reservieren oder freigeben muss (siehe auch automatische Speicherbereinigung). Deklarationen für Daten sind nicht nötig, und ein Lisp-Symbol kann als Variable beliebige Arten von Objekten bezeichnen. Viele dieser Eigenschaften sind im Laufe der Zeit in weitere Programmiersprachen übernommen worden. Anfang der 1960er waren sie jedoch ihrer Zeit weit voraus.

In den 1970er und 1980er Jahren wurden spezielle Lisp-Maschinen entwickelt und vertrieben. Diese ermöglichten das schnelle Ausführen von Lisp-Programmen, was auf damaligen allgemeinen Computern nur unter dem Verzicht von Typ-Überprüfung und automatische Speicherbereinigung möglich war. Dies hat sich durch schnellere Computer jedoch geändert.

Programme in Lisp können interpretiert oder von einem Compiler in effizienten Code übersetzt werden. Typische Compiler sind Batch-Compiler oder inkrementelle Compiler. Inkrementelle Compiler können einzelne Ausdrücke übersetzen. Batch-Compiler übersetzen einzelne Lisp-Dateien oder ganze Lisp-Programme. Compiler übersetzen entweder in einen Bytecode für eine virtuelle Maschine oder in Maschinencode für einen Prozessor.

Das Akronym LISP wird manchmal scherzhaft als „Lots of Irritating Superfluous Parentheses“ (eine Menge lästiger, überflüssiger Klammern) interpretiert.

Bedeutung

Historisch gesehen gehört Lisp zusammen mit Prolog zu den wichtigsten Programmiersprachen der künstlichen Intelligenz.

Im Unterschied zu Europa, wo Programmiersprachen wie Assembler, Fortran oder Pascal als klassische Vertreter der Familie der prozeduralen Programmiersprachen gelehrt wurden, war und ist zum Teil bis heute in den USA Lisp, bzw. einer seiner moderneren Dialekte wie Scheme, die erste gelehrte Programmiersprache. Das hatte einen großen Einfluss, da es sich bei den klassischen Vertretern der prozeduralen Sprachfamilien um Vertreter einer statischen Verarbeitungsweise von Daten handelt, während dagegen unter anderem Lisp ein strikt dynamisches Konzept vertritt.

Syntax

Lisp benutzt S-Expressions als externes Format, um sowohl Source-Code als auch Daten darzustellen. Funktions- und Makroaufrufe werden als Listen geschrieben, die als erstes Element den Namen der Funktion bzw. des Makros enthalten. Kommentare werden mit ; eingeleitet.

Beispiele in Common Lisp:

<syntaxhighlight lang="lisp">

Addiere 2 und 3 und 4

(+ 2 3 4)

Setze die Variable p auf den Wert 3,1415

(setf p 3.1415)

Definiere eine Funktion, die ihr Argument quadriert

(defun square (x)

 (* x x))

Quadriere die Zahl 3

(square 3) </syntaxhighlight>

LISP-Hallo-Welt-Programm (Mit (terpri) erfolgt ein Zeilenumbruch):<ref>Foldoc Jargon File: Herkunft des Schlüsselworts terpri. Abgerufen am 2. Dezember 2010.</ref>

<syntaxhighlight lang="lisp"> (princ "Hello, world!") (terpri) </syntaxhighlight>

Minimaler Funktionsumfang für Lisp

Um ein minimales Lisp-System zu implementieren, sind nur sehr wenige Operatoren und ein allgemeiner Mechanismus zur Funktionsdefinition nötig. Die folgenden Funktionen sind im ursprünglichen Bericht von McCarthy enthalten:

• first (gibt das erste Element einer Liste zurück; hieß ursprünglich car (von Contents of Address Register))
• rest (gibt die Restliste (ohne das erste Element) zurück; hieß ursprünglich cdr (von Contents of Decrement Register))
• cons (Erzeugt aus zwei Zeigern ein CONS-Paar und gibt einen Zeiger auf dieses zurück. Kann zum Beispiel verwendet werden um ein Element an den Anfang einer Liste anzufügen) (von CONStruct)
• quote (verhindert die Auswertung des nachfolgenden Objekts)
• eq (Test auf Identität zweier oder mehrerer Objekte)
• cond (bedingte Ausführung: Übernimmt eine beliebig lange Liste von Paaren, die jeweils aus einer Bedingung und einer Berechnungsvorschrift bestehen. Gibt das Auswertungsergebnis der ersten Berechnungsvorschrift zurück, deren zugehörige Bedingung wahr ist)
• Mechanismus zur Funktionsdefinition lambda

Bereits mit diesen Sprachmitteln kann ein bemerkenswerter Teil der Funktionen, die übliche Lisp-Systeme mitbringen, definiert werden.

Zitate

Lisp-Dialekte

Heute häufig verwendete Dialekte

• Common Lisp ist der umfangreichste und in der Praxis am häufigsten eingesetzte Lisp-Dialekt. Er ist ANSI-standardisiert und bietet Unterstützung für prozedurale Makros, lexikalische wie dynamische Variablenbindung und vieles mehr. Der Name erinnert an die Absicht, mehrere inkompatible Bestrebungen zu vereinigen, einen Nachfolger für Maclisp zu finden (ZetaLisp, Spice Lisp, NIL und S-1 Lisp). Weitere Einflüsse waren InterLisp und Scheme.
• Scheme ist eine minimale und elegante Variante, die u. a. Continuations unterstützt. Im Gegensatz zu Common Lisp kennt sie nur lexikalische Variablenbindung und hygienische Makros. Sie findet aufgrund ihrer Einfachheit häufig in der Lehre Gebrauch, obgleich auch produktive Programmierung mit ihr möglich ist und praktiziert wird.
• Emacs Lisp ist die Skriptsprache des Texteditors GNU Emacs.

Historisch relevante Dialekte

• LISP 1.5 war die erste Lisp-Version, die über das MIT hinaus verbreitet wurde und enthält die erste funktionsfähige Quelle einer Lispimplementierung.
• Maclisp war ein weit verbreiteter und einflussreicher Vorläufer von Common Lisp und die ursprüngliche Implementationssprache des Computeralgebrasystems Macsyma.
• InterLisp entwickelte sich ab 1967 aus BBN-Lisp und wurde zu Interlisp-D weiterentwickelt, das ein komplettes Entwicklungssystem für die Lisp-Maschine Xerox Dolphin bildete. 1992 verlieh die ACM den Software System Award an Daniel G. Bobrow, Richard R. Burton, L. Peter Deutsch, Ronald Kaplan, Larry Masinter und Warren Teitelman für ihre Pionierarbeit an Interlisp.
• ZetaLisp (auch Lisp Machine Lisp genannt) ist eine Weiterentwicklung von MacLisp und lief auf verschiedenen Lisp-Maschinen. Auf Basis dieses Dialekts wurde Flavors, die erste objektorientierte Erweiterung entwickelt.
• Franz Lisp wurde 1978 aus MacLisp entwickelt, um auf einer VAX das Computeralgebrasystem Macsyma laufen zu lassen. Es fand weite Verbreitung, weil es mit BSD Unix ausgeliefert wurde. Später wurde die Firma Franz Inc. gegründet, um dieses Lisp zu pflegen. Seit Mitte der 80er Jahre verkauft Franz Inc. aber eine Common-Lisp-Implementierung (Allegro CL).
• XLISP ist ein LISP mit objektorientierten Erweiterungen, das auch auf schwächeren Computern lief. Eine bekannte Anwendung ist das Statistikpaket XLispStat.
• EuLisp war ein europäischer Versuch, ein aufgeräumtes und einheitliches Lisp zu definieren.
• ISLisp ist ein ISO-standardisierter, kompakter Lisp-Dialekt, der sich für die Programmierung eingebetteter Systeme eignet.
• Portable Standard Lisp und das sogenannte Standard Lisp wurden ab 1980 an der University of Utah entwickelt und v. a. für das Computeralgebrasystem Reduce genutzt. Darin war es in einer ALGOL-artigen Syntax als Skriptsprache RLISP nutzbar.
• S-1 Lisp war ein Lisp für den Supercomputer S-1 Mark IIA.

Dialekte für besondere Zwecke

• AutoLISP ist die auf einer frühen Version von XLISP basierende Skriptsprache für das CAD-System AutoCAD.
• librep oder kurz rep ist eine Skriptsprache für unixartige Systeme und orientierte sich anfangs an Emacs Lisp, hat aber lexikalische statt dynamischer Variablenbindung. Der Fenstermanager Sawfish wurde in rep geschrieben.
• muLISP läuft unter CP/M und MS-DOS sowie auf einigen programmierbaren Taschenrechnern. Es wurde benutzt, um das Computeralgebrasystem Derive zu implementieren.
• Nyquist ist eine Sprache für Klangsynthese und -Analyse und basiert auf XLISP.
• RPL läuft auf programmierbaren Taschenrechnern (Vor allem Hewlett-Packard). Es handelt sich dabei um eine LISP-Version, die mit der umgekehrten polnischen Notation vermischt wurde.
• System Management Language ist erweitert um Sprachstrukturen zur objektorientierten und ereignisorientierten Programmierung. Sie enthält APIs zu CMIP, X/Motif, CMIS und weitere.

Neuere Dialekte

• Arc ist eine neue Programmiersprache (freigegeben am 29. Januar 2008) von Paul Graham.
• Clojure ist ein neuer Lisp-Dialekt für die Java Virtual Machine und inkompatibel zu anderen Lisp-Dialekten und -Standards.
• NewLISP (primär Skriptsprache)<ref>About newLISP</ref>

Einzelnachweise

<references />

Literatur

• John Allen: Anatomy of Lisp. McGraw-Hill, 1978, ISBN 0-07-001115-X.
• Christian Queinnec: Lisp in Small Pieces. Cambridge University Press, 2003, ISBN 0-521-54566-8.
• Patrick Henry Winston, Berthold Horn: Lisp. Addison-Wesley Verlag, 1987, ISBN 3-925118-61-6.
• Walter Sonnenberg: Anwendung von Lisp zur Definition und Implementierung Algolähnlicher Programmiersprachen. Universität Karlsruhe, 1970.
• Paul Graham: On Lisp. Prentice Hall, 1993, ISBN 0-13-030552-9.
• Harold Abelson, Gerald Jay Sussman: Structure and Interpretation of Computer Programs (SICP). MIT Press, 1993, ISBN 978-0-262-01153-2.

Weblinks

• John McCarthy: Originalarbeit über Lisp (PDF)
• Eine konzise Einführung in Anlehnung an McCarthys Arbeit (PostScript)
• Paul McJones (Hrsg.): History of LISP der Software Preservation Group am Computer History Museum
• ELM-ART – ein interaktives Lernprogramm zur Einführung in die Programmiersprache Lisp
• Association of Lisp Users (englisch)
• Lisp – Die Mutter aller Programmiersprachen. Chaosradio Express, 01:35:27h