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 podía utilizarse para modelar un lenguaje de programación , una idea esencial para el desarrollo tanto de la programación funcional como de la semántica denotacional .
Landin nació en Sheffield , donde asistió a la King Edward VII School ; se graduó en el Clare College 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 Tecnológico 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 dirigieron a construir el departamento de informática en el Queen Mary College, desarrollar cursos y enseñar 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 Ciencias de Londres , en 2001, sobre la historia de la semántica de la programación, habló de cómo su carrera académica en informática comenzó a fines de la década de 1950 y de cómo fue muy influenciado por un estudio del lenguaje Lisp de John McCarthy cuando el lenguaje más comúnmente usado era Fortran . [5]
Participó activamente en la definición del lenguaje de programación ALGOL . Se lo menciona entre los asistentes a la conferencia de noviembre de 1959 en París [ 6] y a la conferencia de 1962 [7] [8] y Tony Hoare lo cita como una de las personas que le enseñaron ALGOL 60 y, por lo tanto, facilitaron su expresión de potentes algoritmos recursivos:
"En torno a la Pascua de 1961 se impartió 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 ordenamiento que antes me había resultado tan difícil de explicar. Fue allí donde escribí el procedimiento, llamado inmodestamente QUICKSORT , en el que se basa mi carrera como científico informático. Hay que reconocer el mérito de la genialidad de los diseñadores de ALGOL 60, que incluyeron la recursión en su lenguaje y me permitieron describir mi invento con tanta elegancia al mundo. He considerado que el objetivo más alto del diseño de lenguajes de programación es permitir que las buenas ideas se expresen con elegancia". [9]
Landin estuvo involucrado con estándares internacionales en programación e informática, como miembro del Grupo de Trabajo 2.1 de la Federación Internacional para el Procesamiento de la Información (IFIP) sobre Lenguajes Algorítmicos y Cálculos, [10] que especificó , mantiene y soporta los lenguajes de programación ALGOL 60 y ALGOL 68. [ 11]
Landin es responsable de inventar la máquina SECD de pila, entorno, control y volcado , la primera máquina abstracta para un lenguaje de programación funcional , [12] y el lenguaje de programación ISWIM , definiendo la regla de fuera de juego de Landin y de acuñar el término azúcar sintáctico . La regla de fuera de juego permite limitar la declaración del alcance mediante el uso de espacios en blanco como se ve en lenguajes como Miranda , Haskell , Python y F# (usando la sintaxis ligera ).
Otra frase que se originó con Landin es "Los próximos 700...", en honor a su influyente artículo Los próximos 700 lenguajes de programación . [13] "700" fue elegido porque Landin había leído en el Journal of the ACM que ya existían 700 lenguajes de programación. [14] El artículo 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 son 1.700 tesis doctorales denominadas "Una correspondencia entre x y la notación λ de Church ".
una referencia a su artículo anterior. [16] Este seco sentido del humor se expresa en muchos de sus artículos.
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 le hizo físicamente imposible hacerlo. [ cita requerida ]
La Biblioteca Bodleian de Oxford conserva un archivo de material relacionado con Peter Landin. [18] Desde 2010, se ha celebrado anualmente un Seminario Anual de Semántica Peter Landin cada diciembre organizado por el Grupo de Especialistas BCS-FACS sobre Aspectos Formales de la Ciencia de la Computación. [19] El primer seminario fue impartido por el científico informático estadounidense John C. Reynolds (1935-2013). [20] Hay un edificio Peter Landin en la Universidad Queen Mary de Londres que alberga instalaciones de enseñanza e investigación para la ciencia de la computación . [21]