Christopher Strachey

Christopher S. Strachey (16 de noviembre de 1916 - 18 de mayo de 1975) fue un informático británico. Fue uno de los fundadores de la semántica denotacional y pionero en el diseño de lenguajes de programación y el tiempo compartido de computadoras. También se le atribuye el mérito de ser posiblemente el primer desarrollador de un videojuego y de acuñar términos como polimorfismo y transparencia referencial que todavía son ampliamente utilizados por los desarrolladores en la actualidad. Era miembro de la familia Strachey, destacado en el gobierno, las artes, la administración y el mundo académico.

Vida temprana y educación

Christopher Strachey nació el 16 de noviembre de 1916, hijo de Oliver Strachey y Rachel (Ray) Costelloe en Hampstead, Inglaterra. Oliver Strachey era hijo de Richard Strachey y bisnieto de Sir Henry Strachey, primer baronet. Su hermana mayor fue la escritora Barbara Strachey. En 1919, la familia se mudó al 51 de Gordon Square. Los Strachey pertenecían al Grupo Bloomsbury, cuyos miembros incluían a Virginia Woolf, John Maynard Keynes y el tío de Christopher, Lytton Strachey. A los 13 años, Christopher fue a la escuela de Gresham, Holt, donde mostró signos de brillantez, pero en general tuvo un desempeño pobre. Fue admitido en King's College, Cambridge (la misma universidad que Alan Turing) en 1935, donde continuó descuidando sus estudios. Strachey estudió matemáticas y luego pasó a la física. Al final de su tercer año en Cambridge, Strachey sufrió un ataque de nervios, posiblemente relacionado con la aceptación de su homosexualidad. Regresó a Cambridge pero sólo logró un "segundo inferior" en los Tripos de Ciencias Naturales.

Carrera

Incapaz de continuar su educación, Christopher se unió a Standard Telephones and Cables (STC) como físico investigador. Su primer trabajo fue realizar análisis matemáticos para el diseño de tubos de electrones utilizados en radares. La complejidad de los cálculos requirió el uso de un analizador diferencial. Esta experiencia inicial con una máquina informática despertó el interés de Strachey y comenzó a investigar el tema. Una solicitud para obtener un título de investigación en la Universidad de Cambridge fue rechazada y Strachey continuó trabajando en STC durante la Segunda Guerra Mundial. Después de la guerra, cumplió una ambición de larga data al convertirse en maestro de escuela en la escuela St Edmund's School, Canterbury, enseñando matemáticas y física. Tres años más tarde pudo trasladarse a la más prestigiosa Harrow School en 1949, donde permaneció durante tres años.

En enero de 1951, un amigo le presentó a Mike Woodger del Laboratorio Nacional de Física (NPL). El laboratorio había construido con éxito una versión reducida del motor de computación automática (ACE) de Alan Turing, cuyo concepto databa de 1945: el Pilot ACE. En su tiempo libre, Strachey desarrolló una versión preliminar de un programa para el juego de damas ("damas" en inglés americano) en mayo de 1951. El juego agotó por completo la memoria del Pilot ACE. El programa de borradores falló debido a errores de programa cuando se ejecutó por primera vez en la NPL el 30 de julio de 1951. Cuando Strachey se enteró del Manchester Mark 1, que tenía una memoria mucho mayor, le pidió el manual a su antiguo compañero de estudios Alan Turing y transcribió su programa en los códigos de operación de esa máquina alrededor de octubre de 1951. Para el verano de 1952, el programa podía "jugar un juego completo de Damas a una velocidad razonable". Si bien no le dio un nombre a este juego, que pudo haber sido el primer videojuego, Noah Wardrip-Fruin lo llamó "M. U. C. Borradores."

Strachey programó la primera música por ordenador en Inglaterra: la primera grabación de música reproducida por un ordenador: una interpretación del himno nacional británico "God Save the King" en la computadora Ferranti Mark 1 de la Universidad de Manchester, en 1951. Más tarde ese año, una unidad de transmisión externa de la BBC grabó allí breves extractos de tres piezas: "God Save the King", ' 34;Baa, Baa, Oveja Negra" y "De buen humor". Investigadores de la Universidad de Canterbury, Christchurch, restauraron el disco maestro de acetato en 2016 y los resultados se pueden escuchar en SoundCloud.

Durante el verano de 1952, Strachey programó un generador de cartas de amor para el Ferranti Mark 1 que se conoce como el primer ejemplo de literatura generada por computadora.

En mayo de 1952, Strachey dio una charla de dos partes sobre "el estudio del control en animales y máquinas" ("cibernética") para el programa Science Survey de BBC Home Service.

Strachey trabajó para la Corporación Nacional de Desarrollo de Investigación (NRDC) de 1952 a 1959. Mientras trabajaba en el proyecto St. Lawrence Seaway, pudo visitar varios centros de computación en los Estados Unidos y catalogar sus conjuntos de instrucciones. Posteriormente, trabajó en la programación tanto de la computadora Elliott 401 como de la computadora Ferranti Pegasus. Junto con Donald B. Gillies, presentó tres patentes en diseño informático, incluido el diseño de registros base para la reubicación de programas. También trabajó en el análisis de vibraciones en aviones, trabajando brevemente con Roger Penrose.

En 1959, Strachey dejó NRDC para convertirse en consultor informático y trabajó para NRDC, EMI, Ferranti y otras organizaciones en varios proyectos de amplio alcance. Este trabajo incluyó el diseño lógico para computadoras, proporcionando autocodificación y posteriormente el diseño de lenguajes de programación de alto nivel. Para obtener un contrato para producir el código automático de la computadora Ferranti Orion, Strachey contrató a Peter Landin, quien se convirtió en su único asistente durante el período de consultoría de Strachey.

Strachey desarrolló el concepto de tiempo compartido en 1959. Presentó una solicitud de patente en febrero de ese año y presentó un artículo sobre el tema "Time Sharing in Large Fast Computers" en la Conferencia inaugural de Procesamiento de Información de la UNESCO en París, donde pasó el concepto a J. C. R. Licklider. Este artículo fue acreditado por el Centro de Computación del MIT en 1963 como "el primer artículo sobre computadoras de tiempo compartido".

En 1962, aunque seguía siendo consultor, aceptó un puesto en la Universidad de Cambridge.

En 1965, Strachey aceptó un puesto en la Universidad de Oxford como primer director del Grupo de Investigación en Programación y más tarde como primer profesor de informática de la universidad y miembro del Wolfson College de Oxford. Colaboró con Dana Scott.

Strachey fue elegido miembro distinguido de la Sociedad Británica de Computación en 1971 por su trabajo pionero en ciencias de la computación.

En 1973, Strachey (junto con Robert Milne) comenzaron a escribir un ensayo presentado al concurso del Premio Adams, después de lo cual continuaron trabajando para revisarlo y convertirlo en libro. Se puede ver y escuchar a Strachey en el debate grabado de Lighthill sobre la IA (consulte el informe de Lighthill).

Strachey contrajo una enfermedad diagnosticada como ictericia que, después de un período de aparente recuperación, regresó y murió de hepatitis infecciosa el 18 de mayo de 1975.

Desarrolló el lenguaje de programación combinado (CPL). Su influyente conjunto de notas de conferencias Conceptos fundamentales en lenguajes de programación formalizó la distinción entre valores L y R (como se ve en el lenguaje de programación C). Strachey también acuñó el término currying, aunque no inventó el concepto subyacente.

Jugó un papel decisivo en el diseño de la computadora Ferranti Pegasus.

Fue un pionero de los primeros videojuegos creando una versión de borradores para el Ferranti Mark 1.

El lenguaje de macros m4 deriva en gran medida del GPM (Macrogenerador de propósito general) de Strachey, uno de los primeros lenguajes de expansión de macros.

Después de su prematura muerte en 1975, Sir Tony Hoare sucedió a Strachey como jefe del Grupo de Investigación de Programación en Oxford, a partir de 1977.

Legado

El Departamento de Ciencias de la Computación de la Universidad de Oxford cuenta con una Cátedra de Computación Christopher Strachey, que ha estado en manos de los siguientes:

• Sir Tony Hoare FRS (1988–2000)
• Samson Abramsky FRS (2000-2021)
• Nobuko Yoshida (2022 en adelante)

En noviembre de 2016, se celebró un evento Strachey 100 en la Universidad de Oxford para celebrar el centenario del nacimiento de Strachey, incluida una visita en la Biblioteca Weston de Oxford al archivo de Christopher Strachey que se conserva en la colección de la Biblioteca Bodleiana.

Publicaciones

• Strachey, Christopher (1952). "ProgramasLogicales o No Matemáticos". Actas de la reunión nacional de 1952 ACM. Toronto: ACM. pp. 46–49. doi:10.1145/800259.808992.
• Strachey, Christopher (1954). "La máquina de "pintar". Encuentro. págs. 25 a 31.
• Strachey, Christopher (1959). "Compartir el tiempo controlado por programas". Proceedings of the IEE – Part B: Electronic and Communication Engineering. 106 (29): 462. doi:10.1049/pi-b-2.1959.0311.
• Strachey, Christopher (1959). "Al tomar la raíz cuadrada de un número complejo". The Computer Journal. 2 2): 89. doi:10.1093/comjnl/2.2.89.
• Strachey, Christopher (1959). "Compartir el tiempo en computadoras grandes y rápidas". Proceedings of the 1st International Conference on Information Processing. París: UNESCO. págs. 336 a 341.
• Strachey, Christopher (1960). "Dos contribuciones a las técnicas de problemas de búsqueda". The Computer Journal. 3 (2): 114–116. doi:10.1093/comjnl/3.2.114.
• Strachey, Christopher (1961). "Bitwise Operations". Comunicaciones de la ACM. 4 3): 146 doi:10.1145/366199.366254. S2CID 7359297.
• Strachey, Christopher; Wilkes, Maurice (1961). "Algunas propuestas para mejorar la eficiencia de ALGOL 60". Comunicaciones de la ACM. 4 11): 488-491. doi:10.1145/366813.366816. S2CID 8757176.
• Strachey, Christopher; Francis, John (1961). "La reducción de una matriz a la forma codiagonal por las eliminaciones". The Computer Journal. 4 (2): 168-176. doi:10.1093/comjnl/4.2.168.
• Strachey, Christopher (1962). "Revisiones de libros". The Computer Journal. 5 (2): 152-153. doi:10.1093/comjnl/5.2.152.
• Barron, David; Buxton, John; Hartley, David; Nixon, Eric; Strachey, Christopher (1963). "Las principales características del CPL". The Computer Journal. 6 (2): 134-143. doi:10.1093/comjnl/6.2.134.
• Strachey, Christopher (1965). "Un programa imposible". The Computer Journal. 7 4): 313.10.1093/comjnl/7.4.313.
• Strachey, Christopher (1965). "Un Macrogenerador de Propósito General". The Computer Journal. 8 (3): 225–241. doi:10.1093/comjnl/8.3.225.
• Strachey, Christopher (1966). "Análisis de sistemas y programación". Scientific American. Vol. 215, no. 3. págs. 112 a 127.
• Strachey, Christopher (1966). "Hacia una semántica formal". Proceedings of the IFIP Working Conference on Formal Language Description Languages. Amsterdam: North Holland. pp. 198–220.
• Strachey, Christopher (1967). Conceptos fundamentales en la programación de idiomas (Informe técnico). Notas para la Escuela Internacional de Verano en Programación Informática en Copenhague. También: Strachey, Christopher (2000). "Conceptos fundamentales en lenguajes de programación". Computación de orden superior y simbólico. 13 (1–2): 11–49. doi:10.1023/A:10100003106. S2CID 14124601.
• Scott, Dana; Strachey, Christopher (1971). Hacia una semántica matemática para los idiomas informáticos (informe técnico). Oxford University Computing Laboratory, Programming Research Group. PRG06. También: Scott, Dana; Strachey, Christopher (1971). "Hacia una semántica matemática para los idiomas informáticos". Proceedings of the Symposium on Computers and Automata. New York: Polytechnic Institute of Brooklyn. pp. 19–46.
• Strachey, Christopher (1972). "Variedades de lenguaje de programación". Procedimientos del Simposio Internacional de Computación. Venice: Cini Foundation. pp. 222–233. También: Strachey, Christopher (1973). Las variedades de lenguaje de programación (informe técnico). Oxford University Computing Laboratory, Programming Research Group. PRG10.
• Stoy, Joseph; Strachey, Christopher (1972). "OS6—Un sistema operativo experimental para una pequeña computadora. Parte 1: Principios generales y estructura". The Computer Journal. 15 (2): 117-124. doi:10.1093/comjnl/15.2.117.
• Stoy, Joseph; Strachey, Christopher (1972). "OS6—Un sistema operativo experimental para una pequeña computadora. Parte 2: Input/Output and Filing System". The Computer Journal. 15 (3): 195-203. doi:10.1093/comjnl/15.3.195.
• Strachey, Christopher; Stoy, Joseph (1972). El texto de OSPub (Informe técnico). Oxford University Computing Laboratory, Programming Research Group. PRG09.
• Strachey, Christopher; Wadsworth, Christopher (1974). Continuaciones: Semántica Matemática para el manejo de saltos completos (informe técnico). Oxford University Computing Laboratory, Programming Research Group. PRG11. También: Strachey, Christopher; Wadsworth, Christopher (2000). "Continuaciones: una semántica matemática para manejar los saltos completos". Computación de orden superior y simbólico. 13 (1–2): 135–152. doi:10.1023/A:1010026413531. S2CID 10673265.
• Milne, Robert; Strachey, Christopher (1976). Una Teoría de Programación Lenguaje Semántica. Nueva York: Springer. ISBN 978-1-5041-2833-9.