| dbpprop:abstract
|
- Peter John Landin (1930 – 3rd June 2009) was 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 semantics. Peter Landin graduated from Cambridge University. From 1960 to 1964, he was the assistant to Christopher Strachey when the latter was an independent computer consultant in London. Most of his work was published during this period and the brief time he worked for Univac in the United States before taking a position at Queen Mary, University of London. During the 1970s and 1980s, his efforts went into building the Computer Science department in Queen Mary College, developing courses and teaching students. On his retirement, he was appointed Emeritus Professor of Theoretical Computation at Queen Mary, University of London. At a workshop at the Science Museum, London, in 2001 on the history of programming semantics he spoke of how his scholarly career in computer science began in the late 1950s and of how he was much influenced by a study of McCarthy's LISP when the most commonly used language was Fortran. He was active in the definition of the ALGOL programming language and cited by Tony Hoare as one of the people who taught him Algol 60 and hence facilitated his expression of powerful recursive algorithms: "Around Easter 1961, a course on ALGOL 60 was offered in Brighton, England, with Peter Naur, Edsger W. Dijkstra, and Peter Landin as tutors. … It was there that I first learned about recursive procedures and saw how to program the sorting method which I had earlier found such difficulty in explaining. It was there that I wrote the procedure, immodestly named QUICKSORT, on which my career as a computer scientist is founded. Due credit must be paid to the genius of the designers of ALGOL 60 who included recursion in their language and enabled me to describe my invention so elegantly to the world. I have regarded it as the highest goal of programming language design to enable good ideas to be elegantly expressed. " Landin is responsible for inventing the SECD machine and the ISWIM programming language, defining the Landin off-side rule and for coining the term syntactic sugar. The off-side rule allows bounding scope declaration by use of white spaces as seen in languages such as Miranda, Haskell and Python. Another phrase originating with Landin is "The next 700 …" after his influential paper The next 700 programming languages . "700" was chosen because Landin had read in the Journal of the ACM that there were already 700 programming languages in existence . The paper opens with the quotation "… today… 1,700 special programming languages used to 'communicate' in over 700 application areas.". It also includes the joke that "A possible first step in the research program is 1700 doctoral theses called "A Correspondence between x and Church's λ-notation" a reference to his earlier paper. This dry sense of humour is expressed in many of his papers.
- Peter John Landin 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 und auch nach Jahrzehnten noch lesenswert sind. 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. 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. Auch nach seiner Emeritierung bliebt er dem College als Lehrer erhalten. Auf einer Tagung über die Geschichte der Semantik von Programmen im Science Museum in London im Jahr 2001 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. und schrieb eine der ersten formalen Beschreibungen dieser Programmiersprache 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. “ Landin zeichnet auch für die Erfindung der SECD-Maschine und der Programmiersprache ISWIM verantwortlich, erfand auch die off-side rule 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. 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‘. 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. Diese Art trockenen Humors findet sich in vielen seiner Veröffentlichungen.
- 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 Landin souvent recopiée dans les papiers informatiques est « Les 700 prochains langages de programmation ». Landin a été très actif dans le milieu des années 1960, quand il travaillait avec Christopher Strachey. Il est maintenant professeur à Queen Mary, University of London.
- Peter J. Landin was een Brits informaticus. Landin was de eerste die de Lambdacalculus aanwendde voor programmeertalen. Hij was de ontwerper van de SECD-machine en van de programmeertaal ISWIM. Hij definieerde ook de regel van de off-side rule en was de uitvinder van de term syntactische suiker. Een andere uitdrukking van Landin is "de 700 volgende programmeertalen". Landin was in de sector actief sinds het midden van de jaren 1960, toen hij bij Christopher Strachey werkte. Later doceerde hij aan de Queen Mary University of London.
|
![[RDF Data]](/statics/sw-cube.png)
