Peter John Landin (5 de junio de 1930 - 3 de junio de 2009 [1] [2] ) fue un informático británico . Fue uno de los primeros en darse cuenta de que el cálculo lambda podría usarse para modelar un lenguaje de programación , una idea que es esencial para el desarrollo tanto de la programación funcional como de la semántica denotacional .
Peter Landin | |
---|---|
Nació | Peter John Landin 5 de junio de 1930 Sheffield , West Riding de Yorkshire , Inglaterra |
Fallecido | 3 de junio de 2009 | (78 años)
Ciudadanía | Reino Unido |
Educación | Clare College , Universidad de Cambridge |
Conocido por | ISWIM , operador J , máquina SECD , regla de fuera de juego , azúcar sintáctico |
Carrera científica | |
Campos | Ciencias de la computación , educación |
Instituciones | Christopher Strachey , consultor informático Univac Instituto de Tecnología de Massachusetts Universidad Queen Mary de Londres |
Influencias | John McCarthy |
Académico
Landin nació en Sheffield , donde asistió a la escuela King Edward VII ; se graduó de Clare College , Universidad de Cambridge . [2] De 1960 a 1964, fue asistente de Christopher Strachey cuando este último era consultor informático independiente en Londres . [3] La mayor parte de su trabajo se publicó durante este período y el breve tiempo que trabajó para Univac y en el Instituto de Tecnología de Massachusetts en los Estados Unidos, antes de ocupar un puesto en la Universidad Queen Mary de Londres . Durante las décadas de 1970 y 1980, sus esfuerzos se centraron en la construcción del departamento de informática en Queen Mary College, el desarrollo de cursos y la enseñanza a los estudiantes, como se establece en el prólogo del libro de texto Programming from First Principles . [4] Tras su jubilación, fue nombrado profesor emérito de Computación Teórica en la Universidad Queen Mary de Londres , donde en 2012, el edificio de informática pasó a llamarse Edificio Peter Landin en su honor.
En un taller en el Museo de la Ciencia , de Londres , en 2001, sobre la historia de la semántica de programación que habló de cómo su carrera académica en informática comenzó a finales de 1950 y de la forma en que estaba muy influido por un estudio de John McCarthy 's Lisp idioma cuando el idioma más utilizado era Fortran . [5]
Participó activamente en la definición del lenguaje de programación ALGOL . Está incluido entre los que asistieron a la conferencia de noviembre de 1959 en París , [6] y la conferencia de 1962, [7] [8] y Tony Hoare lo cita como una de las personas que le enseñó ALGOL 60 y, por lo tanto, facilitó su expresión de poder algoritmos recursivos:
"Alrededor de la Pascua de 1961, se ofreció un curso sobre ALGOL 60 en Brighton , Inglaterra, con Peter Naur , Edsger W. Dijkstra y Peter Landin como tutores ... Fue allí donde aprendí por primera vez sobre los procedimientos recursivos y vi cómo programar el método de clasificación que antes había encontrado tanta dificultad en explicar. Fue allí donde escribí el procedimiento, llamado inmodestamente QUICKSORT , en el que se basa mi carrera como científico informático. Debe darse el debido crédito al genio de los diseñadores de ALGOL 60 que incluyeron la recursividad en su lenguaje y me permitieron describir mi invento con tanta elegancia al mundo. Lo he considerado como el objetivo más alto del diseño de lenguajes de programación para permitir que las buenas ideas se expresen con elegancia ". [9]
Landin estuvo involucrado con los estándares internacionales en programación e informática, como miembro del Grupo de Trabajo IFIP 2.1 sobre Lenguajes y Cálculos Algorítmicos de la Federación Internacional para el Procesamiento de la Información (IFIP) , [10] que especifica , mantiene y apoya los lenguajes de programación ALGOL 60 y ALGOL 68 . [11]
Landin es responsable de inventar la máquina SECD de pila, entorno, control, volcado , la primera máquina abstracta para un lenguaje de programación funcional , [12] y el lenguaje de programación ISWIM , definiendo la regla del off-side de Landin y acuñando el término azúcar sintáctico . La regla de fuera de juego permite la declaración del alcance delimitador mediante el uso de espacios en blanco como se ve en lenguajes como Miranda , Haskell , Python y F # (usando la sintaxis ligera ).
Otra frase originaria de Landin es "Los próximos 700 ..." después de su influyente artículo Los próximos 700 lenguajes de programación . [13] Se eligió "700" porque Landin había leído en el Journal of the ACM que ya existían 700 lenguajes de programación. [14] El documento comienza con la cita "... hoy ... 1.700 lenguajes de programación especiales utilizados para 'comunicarse' en más de 700 áreas de aplicación". [15] También incluye el chiste de que
Un posible primer paso en el programa de investigación es 1.700 tesis doctorales llamado "una correspondencia entre x y de la Iglesia λ-notación ".
una referencia a su artículo anterior. [16] Este seco sentido del humor se expresa en muchos de sus artículos.
Político
Landin, que era bisexual, [2] se involucró con el Frente de Liberación Gay (GLF) a principios de la década de 1970. Una vez fue arrestado como parte de una manifestación antinuclear. [17] Era un ciclista dedicado y se movía por Londres en su bicicleta hasta que se volvió físicamente imposible para él hacerlo. [ cita requerida ]
Publicaciones Seleccionadas
- Landin, Peter J. (1964). "La evaluación mecánica de expresiones" . The Computer Journal . Sociedad Británica de Computación . 6 (4): 308–320. doi : 10.1093 / comjnl / 6.4.308 .
- Landin, Peter J. (1966). Steel, TB, Jr. (ed.). "Una descripción formal de Algol 60". Lenguajes formales de descripción de lenguajes para programación informática : 266–294.
- Landin, Peter J. (febrero de 1965a). "Correspondencia entre ALGOL 60 y notación Lambda de Church: parte I". Comunicaciones de la ACM . Asociación de Maquinaria Informática . 8 (2): 89–101. doi : 10.1145 / 363744.363749 . S2CID 6505810 .
- Landin, Peter J. (marzo de 1965b). "Una correspondencia entre ALGOL 60 y notación Lambda de Church: parte II". Comunicaciones de la ACM . Asociación de Maquinaria Informática . 8 (3): 158-165. doi : 10.1145 / 363791.363804 . S2CID 15781851 .
- Landin, Peter J. (29 de agosto de 1965c). "Una generalización de saltos y etiquetas". Investigación de programación de sistemas UNIVAC (Informe técnico) . Reimpreso en Landin, Peter J. (diciembre de 1998). "Una generalización de saltos y etiquetas". Computación simbólica y de orden superior . 11 (2): 125-143. doi : 10.1023 / A: 1010068630801 . S2CID 5579841 .
- Landin, Peter J. (marzo de 1966). "Los próximos 700 lenguajes de programación". Comunicaciones de la ACM . Asociación de Maquinaria Informática . 9 (3): 157-166. doi : 10.1145 / 365230.365257 . S2CID 13409665 .
Ver también
- Operador J
Notas
- ^ Peter Landin , Lambda the Ultimate , 4 de junio de 2009.
- ^ a b c Nacido en 2009a
- ^ Hashagen, Ulf; Keil-Slawik, Reinhard; Norberg, Arthur L., eds. (5 a 7 de abril de 2000). Historia de la informática: problemas de software . Conferencia Internacional sobre Historia de la Computación, ICHC 2000, Foro de los Museos Heinz Nixdorf, Paderborn, Alemania. Berlín: Springer (publicado el 29 de junio de 2013). ISBN 978-3-662-04954-9. OCLC 861966658 .
- ^ Bornat, Richard (1987). Programación desde los primeros principios . Prentice Hall . ISBN 978-0-13-729104-5.
- ^ "Programa de verificación y semántica: informe" . 2001. Archivado desde el original el 26 de septiembre de 2007 . Consultado el 27 de julio de 2014 .
- ^ "AB8 de diciembre de 1959" . Diciembre de 1959. Archivado desde el original el 15 de junio de 2009.
- ^ Backus, JW ; Wegstein, JH ; van Wijngaarden, A .; Woodger, M .; Naur, P .; Bauer, FL ; Green, J .; Katz, C .; McCarthy, J .; Perlis, AJ ; Rutishauser, H .; Samelson, K .; Vauquois, B. (1 de enero de 1963). "Informe revisado sobre el lenguaje algorítmico Algol 60" . misa: trabajo .
- ↑ Landin 1964b
- ^ Conferencia del premio ACM Turing: La ropa vieja del emperador. C. Antony R. Hoare , 1980, Publicado en las Comunicaciones de la ACM .
- ^ Jeuring, Johan; Meertens, Lambert ; Guttmann, Walter (17 de agosto de 2016). "Perfil del Grupo de Trabajo 2.1 de IFIP" . Foswiki . Consultado el 10 de septiembre de 2020 .
- ^ Swierstra, Doaitse; Gibbons, Jeremy ; Meertens, Lambert (2 de marzo de 2011). "ScopeEtc: IFIP21: Foswiki" . Foswiki . Consultado el 10 de septiembre de 2020 .
- ^ Diehl, Stephan; Hartel, Pieter; Sestoft, Peter (2000). "Máquinas abstractas para implementación de lenguajes de programación". Sistemas informáticos de futura generación . 16 . págs. 739–751.
- ^ Error de harvnb de Landin 1966 : objetivos múltiples (2x): CITEREFLandin1966 ( ayuda )
- ^ Comunicación personal, septiembre de 2007.
- ^ Problemas de software informático, un prospecto de la Asociación matemática estadounidense, julio de 1965.
- ^ Landin 1965a
- ^ Nacido en 2009b
Otras lecturas
- Bornat, Richard (23 de septiembre de 2009a). "Obituario de Peter Landin" . The Guardian (Obituarios ed.): 34 . Consultado el 29 de septiembre de 2009 .
- Bornat, Richard (17 de septiembre de 2009b). "Peter Landin: un informático que inspiró a una generación, 5 de junio de 1930 - 3 de junio de 2009" (PDF) . Aspectos formales de la informática . Berlín: Springer-Verlag. 21 (5): 393–395. doi : 10.1007 / s00165-009-0122-y . ISSN 0934-5043 . S2CID 8870097 .
enlaces externos
- Peter J. Landin en el servidor de bibliografía DBLP
- Lista de publicaciones de Microsoft Academic
- Program Verification and Semantics: The Early Work at the Wayback Machine (archivado el 26 de septiembre de 2007),seminario de laBCS Computer Conservation Society , Science Museum , Londres, Reino Unido, 5 de junio de 2001
- Charla conmemorativa sobre la vida de Landin por Olivier Danvy en ICFP 2009
- Charla de Peter Landin en Program Verification and Semantics: The Early Work , 2001 (video)