Pierre Landin - Peter Landin

Pierre Landin
Peter Landin.png
Né
Pierre Jean Landin

( 1930-06-05 )5 juin 1930
Sheffield , West Riding of Yorkshire , Angleterre
Décédés 3 juin 2009 (2009-06-03)(78 ans)
Citoyenneté Royaume-Uni
Éducation Clare College , Université de Cambridge
Connu pour ISWIM , opérateur J , machine SECD , règle de hors-jeu , sucre syntaxique
Carrière scientifique
Des champs Informatique , éducation
Établissements Christopher Strachey , consultant en informatique
Univac
Massachusetts Institute of Technology
Queen Mary University of London
Influences John McCarthy

Peter John Landin (5 juin 1930 - 3 juin 2009) était un informaticien britannique . Il a été l'un des premiers à réaliser que le calcul lambda pouvait être utilisé pour modéliser un langage de programmation , une idée essentielle au développement de la programmation fonctionnelle et de la sémantique dénotationnelle .

Académique

Landin est né à Sheffield , où il a fréquenté l' école King Edward VII ; il est diplômé de Clare College , Université de Cambridge . De 1960 à 1964, il est l'assistant de Christopher Strachey alors que ce dernier est consultant informatique indépendant à Londres . La plupart de ses travaux ont été publiés pendant cette période et la brève période où il a travaillé pour Univac et au Massachusetts Institute of Technology aux États-Unis, avant de prendre un poste à l' Université Queen Mary de Londres . Au cours des années 1970 et 1980, ses efforts ont été consacrés à la création du département d' informatique du Queen Mary College, à l'élaboration de cours et à l'enseignement aux étudiants, comme indiqué dans l'avant-propos du manuel Programming from First Principles . À sa retraite, il a été nommé professeur émérite de calcul théorique à l' Université Queen Mary de Londres , où en 2012, le bâtiment de l'informatique a été rebaptisé Peter Landin Building en son honneur.

Lors d' un atelier au Musée de la Science , Londres , en 2001, sur l'histoire de la sémantique programmation , il a parlé de la façon dont sa carrière universitaire en science informatique a commencé dans les années 1950 et de la façon dont il a été influencé par une étude de John McCarthy de Lisp langue alors que la langue la plus couramment utilisée était le Fortran .

Il a été actif dans la définition du langage de programmation ALGOL . Il est répertorié parmi ceux qui ont assisté à la conférence de novembre 1959 à Paris et à la conférence de 1962, et cité par Tony Hoare comme l'une des personnes qui lui ont appris l' ALGOL 60 et ainsi facilité l'expression de puissants algorithmes récursifs :

"Vers Pâques 1961, un cours sur ALGOL 60 a été offert à Brighton , en Angleterre, avec Peter Naur , Edsger W. Dijkstra et Peter Landin comme tuteurs. ... C'est là que j'ai appris pour la première fois les procédures récursives et que j'ai vu comment programmer la méthode de tri que j'avais eu tant de mal à expliquer auparavant. C'est là que j'ai écrit la procédure, impudiquement nommée QUICKSORT , sur laquelle est fondée ma carrière d'informaticien. Il faut rendre hommage au génie des concepteurs d'ALGOL 60 qui ont inclus la récursivité dans leur langage et m'ont permis de décrire mon invention si élégamment au monde. Je l'ai considéré comme l'objectif le plus élevé de la conception d'un langage de programmation pour permettre aux bonnes idées d'être exprimées avec élégance.

Landin a été impliqué dans les normes internationales de programmation et d'informatique, en tant que membre du groupe de travail IFIP 2.1 de la Fédération internationale pour le traitement de l'information (IFIP) sur les langages algorithmiques et les calculs, qui a spécifié , maintient et prend en charge les langages de programmation ALGOL 60 et ALGOL 68 .

Landin est responsable de l'invention de la pile, de l'environnement, du contrôle, de la machine de vidage SECD , la première machine abstraite pour un langage de programmation fonctionnel , et du langage de programmation ISWIM , définissant la règle de hors-jeu de Landin et ayant inventé le terme sucre syntaxique . La règle de hors-jeu permet la déclaration de portée de délimitation en utilisant des espaces blancs comme on le voit dans des langages tels que Miranda , Haskell , Python et F# (en utilisant la syntaxe légère ).

Une autre phrase provenant de Landin est "The next 700 ..." d'après son article influent Les 700 prochains langages de programmation . "700" a été choisi parce que Landin avait lu dans le Journal de l'ACM qu'il existait déjà 700 langages de programmation. L'article s'ouvre sur la citation "... aujourd'hui... 1 700 langages de programmation spéciaux utilisés pour 'communiquer' dans plus de 700 domaines d'application." Il comprend également la blague qui

Une première étape possible du programme de recherche consiste en 1700 thèses de doctorat intitulées « Une correspondance entre x et la notation de Church ».

une référence à son article précédent. Ce sens de l'humour sec s'exprime dans nombre de ses articles.

Politique

Landin, qui était bisexuel, s'est impliqué dans le Gay Liberation Front (GLF) au début des années 1970. Il a été arrêté une fois dans le cadre d'une manifestation anti-nucléaire. Il était un cycliste dévoué et s'est déplacé dans Londres sur son vélo jusqu'à ce qu'il lui devienne physiquement impossible de le faire.

Publications sélectionnées

  • Landin, Peter J. (1964). "L'évaluation mécanique des expressions" . La revue informatique . Société informatique britannique . 6 (4) : 308-320. doi : 10.1093/comjnl/6.4.308 .
  • Landin, Peter J. (1966). Steel, TB, Jr. (éd.). "Une description formelle d'Algol 60". Langages formels de description de langage pour la programmation informatique : 266-294.
  • Landin, Peter J. (février 1965a). « Correspondance entre ALGOL 60 et la notation Lambda de Church : partie I ». Communications de l'ACM . Association pour les machines informatiques . 8 (2) : 89-101. doi : 10.1145/363744.363749 . S2CID  6505810 .
  • Landin, Peter J. (mars 1965b). « Une correspondance entre ALGOL 60 et la notation Lambda de Church : partie II ». Communications de l'ACM . Association pour les machines informatiques . 8 (3) : 158-165. doi : 10.1145/363791.363804 . S2CID  15781851 .
  • Landin, Peter J. (29 août 1965c). « Une généralisation des sauts et des étiquettes ». Recherche UNIVAC sur la programmation des systèmes (rapport technique) .Réimprimé dans Landin, Peter J. (décembre 1998). « Une généralisation des sauts et des étiquettes ». Calcul d'ordre supérieur et symbolique . 11 (2) : 125-143. doi : 10.1023/A:101068630801 . S2CID  5579841 .
  • Landin, Peter J. (mars 1966). « Les 700 prochains langages de programmation ». Communications de l'ACM . Association pour les machines informatiques . 9 (3) : 157-166. doi : 10.1145/365230.365257 . S2CID  13409665 .

Voir également

Remarques

Lectures complémentaires

Liens externes