Lisp und Lambda-Kalkül: Eine Geschichte von Theorie und Praxis

Dieser Artikel untersucht die Beziehung zwischen Lisp und dem Lambda-Kalkül. John McCarthy, der Schöpfer von Lisp, verstand den Lambda-Kalkül zunächst nicht vollständig, lieh sich aber dessen Notation aus, um Lisp zu schaffen. Lisp ist keine direkte Implementierung des Lambda-Kalküls, sondern wurde von ihm inspiriert und integriert Merkmale der IBM 704-Hardware. Der Artikel geht auf die frühe Geschichte von Lisp ein, einschließlich der Implementierung seines Evaluators EVAL und des Zusammenhangs zwischen den car/cdr-Operationen und der IBM 704. Grundlegende Konzepte des Lambda-Kalküls werden eingeführt und mit einer Spielzeugsprache namens ΛΙΣΠ illustriert. Letztlich zeigt der Artikel ein faszinierendes und komplexes Zusammenspiel zwischen Lisp und dem Lambda-Kalkül, das in zukünftigen Teilen weiter erforscht werden soll.