Peter J. Landin

Peter J. Landin

Peter John Landin (* 1930; † 3. Juni 2009[1]) war ein britischer Informatiker. Er war einer der Pioniere der Informatik, dessen Arbeiten aus den frühen 1960er Jahren einen profunden Einfluss auf die Entwicklung der Programmiersprachen ausübten. Sie lenkten den Blick auf den ‚applikativen Kern‘ von Programmiersprachen, eine Einsicht von großer Bedeutung für die Entwicklung von funktionalen Programmiersprachen und der denotationellen Semantik.[1]

Peter Landin studierte an der University of Cambridge. Von 1960 bis 1964 war er Assistent von Christopher Strachey, der zu dieser Zeit freier IT-Berater in London war. Die meisten seiner Publikationen stammen aus dieser Zeit und der kurzen Zeit, in der er in den Vereinigten Staaten bei Univac arbeitete. Danach wurde er an das Queen Mary College der University of London berufen und mit dem Aufbau der Informatik dort beauftragt. Dem widmete er sich in den 1970er und 1980er Jahren, entwickelte Kurse und lehrte theoretische Informatik.[2] Auch nach seiner Emeritierung blieb er dem College als Lehrer erhalten.

Auf einer Tagung über die Geschichte der Semantik von Programmen im Science Museum in London im Jahr 2001[3] berichtete er vom Beginn seiner wissenschaftlichen Karriere in der Informatik in den späten 1950er Jahren und davon, wie sehr er durch das Studium von John McCarthys Programmiersprache LISP beeinflusst wurde, und das zu einem Zeitpunkt, als Fortran die am häufigsten verwendete Programmiersprache war.

Er nahm aktiv an der Definition der Programmiersprache ALGOL teil.[4] und schrieb eine der ersten formalen Beschreibungen dieser Programmiersprache [5]. Tony Hoare bezeichnet ihn als einen der Menschen, die ihm Algol 60 beibrachten und ihm so die Formulierung mächtiger rekursiver Algorithmen erlaubten:

„Gegen Ostern 1961 wurde in Brighton, England ein ALGOL 60-Kurs mit Peter Naur, Edsger W. Dijkstra, und Peter Landin als Referenten veranstaltet. Dort erfuhr ich zum ersten Mal etwas über rekursive Prozeduren und sah, wie man das Programm eigentlich schreiben sollte, das ich früher nur so schwer erklären konnte. Gleich vor Ort schrieb ich die Prozedur, die ich unbescheidenerweise QUICKSORT nannte und auf der meine Karriere als Informatiker gegründet ist. Der Verdienst dafür ist dem Genie der Entwickler von ALGOL 60 geschuldet, die in ihrer Sprache Rekursion erlaubten und es mir so ermöglichten, meine Erfindung so elegant für die Welt zu beschreiben. Ich habe es immer als das höchste Ziel des Entwurfs von Programmiersprachen betrachtet, den eleganten Ausdruck guter Ideen zu ermöglichen.“[6]

Landin zeichnet auch für die Erfindung der SECD-Maschine und der Programmiersprache ISWIM verantwortlich, erfand auch die off-side rule (eigentlich: Abseitsregel) für Programmiersprachen und den Begriff Syntaktischer Zucker. Die off-side rule erlaubt es, Abschnitte innerhalb von Programmen durch den Gebrauch von white space zu definieren und wird unter anderem in den Sprachen Miranda, Haskell und Python verwendet.

Eine andere Redeweise, die auf Landin zurückgeht, ist „Die nächsten 700 …“ nach seiner folgenreichen Arbeit The next 700 programming languages.[7] Die Zahl 700 hatte Landin gewählt, weil er in einem Bericht der American Mathematical Association gelesen hatte, dass es damals bereits 1700 Programmiersprachen gab, um in über 700 Anwendungsbereichen zu ‚kommunizieren‘.[8] Mit der Programmiersprache ISWIM, die er in diesem Vortrag konzipierte, hätte er gleichsam 700 Programmiersprachen auf einen Schlag geschaffen, da ISWIM als Kern um jeweils anwendungsspezifische Elemente ergänzt werden sollte. Sie enthält auch die scherzhafte Bemerkung

„Ein möglicher Schritt im Forschungsprogramm wäre die Anfertigung von 1700 Doktorarbeiten mit dem Titel A Correspondence between x and Church's λ-notation

eine Anspielung auf seine frühere Arbeit.[9] Diese Art trockenen Humors findet sich in vielen seiner Veröffentlichungen.

Wichtige Veröffentlichungen

  • The mechanical evaluation of expressions. The Computer Journal, vol 6 (1964), no. 4. pp. 308–320
  • A correspondence between ALGOL 60 and Church's lambda notation. Commun. ACM 8, 89-101, 158-165.
  • The next 700 programming languages. Commun. ACM 9, 3, 157-166.

Einzelnachweise

  1. a b Peter Landin, Lambda the Ultimate, 4 June 2009.
  2. Acknowledged in the forward to the text book Programming from First Principles by Richard Bornat. Published by Prentice Hall, 1987. ISBN 9780137291045.
  3. Program Verification and Semantics: Report, 2001.
  4. Listed amongst those who attended the November 1959 conference in [Paris] [1] and the 1962 conference [2].
  5. P. J. Landin: A formal description of Algol 60. In Steel [Ste64], pages 266–294.
  6. ACM Turing Award Lecture: The Emperor's Old Clothes. C. Antony R. Hoare, 1980, Published in the Communications of the ACM.
  7. Peter J. Landin: The next 700 programming languages. In: Communications of the ACM. 9, Nr. 3, März 1966, S. 157–166. doi:10.1145/365230.365257.
  8. Computer Software Issues, an American Mathematical Association Prospectus, July 1965.
  9. A correspondence between ALGOL 60 and Church's Lambda-notation. Comm. ACM 8 (1965), 89–101; 158–165.

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужна курсовая?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Peter J. Landin — est un informaticien britannique. Il a inventé la machine SECD et le langage de programmation ISWIM. Il a défini la régle d indentation comme syntaxe ( off side rule en anglais) et a inventé le terme de sucre syntaxique. Une autre expression de… …   Wikipédia en Français

  • Peter J. Landin — Peter Landin is a British computer scientist. He was one of the first to realize that the lambda calculus could be used to model a programming language, an insight that is essential to development of both functional programming and denotational… …   Wikipedia

  • Peter Landin — Born June 5, 1930(1930 06 05) Died …   Wikipedia

  • Landin — bezeichnet: einen Ortsteil mit Hohen und Niederlandin in der Gemeinde Mark Landin, Landkreis Uckermark, Brandenburg einen Ortsteil in der Gemeinde Kotzen, Landkreis Havelland, Brandenburg den Vertrag von Landin aus dem Jahr 1250 Landin oder… …   Deutsch Wikipedia

  • Landin — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Patronymie Peter J. Landin est un informaticien britannique. Toponymie Le Landin est une commune française, située dans le département de l Eure et la… …   Wikipédia en Français

  • Peter Landin's J operator — is a programming construct that post composes a lambda expression with the continuation to the current lambda context. The resulting “function” is first class and can be passed on to subsequent functions, where if applied it will return its… …   Wikipedia

  • Mark Landin — Wappen Deutschlandkarte …   Deutsch Wikipedia

  • Niklas Landin Jakobsen — Infobox Handball biography playername = Niklas Landin Jakobsen fullname = Niklas Landin Jakobsen nationality = Danish flagicon|Denmark dateofbirth = December 19, 1988 cityofbirth = countryofbirth = height = 200 cm. weight = 93 kg. position =… …   Wikipedia

  • Mark Landin — Blason de la commune Mark Landin (littéralement Marche de Landin) est une commune allemande de l arrondissement d Uckermark dans le Brandebourg qui résulte de la fusion, le 31 décembre 2001 de trois anciennes communes rurales: celle de Grünow,… …   Wikipédia en Français

  • Syntactic sugar — is a computer science term that refers to syntax within a programming language that is designed to make things easier to read or to express. It makes the language sweeter for humans to use: things can be expressed more clearly, more concisely, or …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”