| Nacimiento |
16 de noviembre de 1916 Hampstead |
|---|---|
| Muerte |
18 de mayo de 1975(58 años) Oxford |
| Nacionalidad | británico |
| Capacitación |
Escuela de King's College Gresham |
| Ocupaciones | Científico informático , ingeniero |
| Padre | Oliver strachey |
| Mamá | Ray strachey |
| Hermanos | Barbara Strachey ( en ) |
| Trabajé para | Universidad de Oxford |
|---|---|
| Movimiento | Grupo Bloomsbury |
| Distinción | Miembro de la British Computer Society |
Christopher Strachey (nacido el16 de noviembre de 1916, fallecido 18 de mayo de 1975) es un científico informático británico . Es mejor conocido como uno de los primeros en abogar por un enfoque matemático en el estudio de programas.
Es hijo del criptógrafo Oliver Strachey y del escritor Ray Strachey . Fue educado en Gresham's School y en la Universidad de Cambridge .
En 1951, se unió al laboratorio de computación donde Alan Turing trabajaba en una de las primeras computadoras diseñadas y puestas en servicio en el Reino Unido . Las habilidades de Strachey son tan altas que Turing le entrega de facto la supervisión de los programas de investigación por computadora.
Para demostrar el enfoque matemático de la programación, Strachey introdujo la idea de semántica denotacional (primero llamada matemática ) cuyo objetivo es proporcionar métodos para demostrar las propiedades de los programas. Quería lograr así el mismo rigor que en las demostraciones matemáticas habituales, si no más. Una de las principales características de la semántica denotacional es, por tanto, que se define por inducción sobre la estructura de los programas.
Strachey primero coloca las consideraciones de sintaxis en el lugar que les corresponde, y afirma que las consideraciones sintácticas no deben tener prioridad sobre la semántica en el estudio de los lenguajes de programación. Il a notamment écrit : « Je considère les problèmes syntaxiques comme essentiellement non pertinents pour les langages de programmation... En gros il me semble correct de penser que la sémantique est là pour ce que nous voulons dire et la syntaxe pour comment nous avons à decirlo. "
En otra parte, citado por Dana S. Scott , escribe: “Los problemas con la sintaxis son mucho más fáciles que con la semántica. Esto tiene como consecuencia natural, pero desafortunada, que se haya prestado gran atención a las cuestiones sintácticas ... Nada más lejos de la verdad que el malentendido generalizado y permanente de conceptos tan fundamentales como los de los sustantivos y de los valores ilustrados con agudeza. "
En ese momento, la investigación se centró más en la investigación de una teoría de los lenguajes y su aplicación a la construcción de compiladores ; esto llevó a una cada vez más clara identificación de los conceptos fundamentales que dieron lugar a meta-compilación herramientas como Lex y Yacc .
Así, destacó que los dos conceptos en la base de las herramientas de traducción de idiomas ( intérpretes y compiladores )
Es gracias a Strachey que la semántica comenzó a verse como una cuestión autónoma y no como un simple apéndice de sintaxis (esta última visión se vio favorecida por el hecho de que el reconocimiento sintáctico de las constantes venía acompañado como un subproducto de su traducción. por un lado, por la influencia dominante de las ideas de Noam Chomsky por otro lado).
Según Strachey, la práctica de la programación nunca debe desconectarse del estudio de los conceptos fundamentales y viceversa. Por lo tanto, fue en la misma línea que desarrolló trabajos sobre la semántica y programación de un pequeño sistema operativo O6 6 (en 1972) utilizando un lenguaje de programación universal (para su época) llamado CPL y luego BCPL , que fue inspirado por Ken Thompson para crear el B lenguaje y Dennis Ritchie para crear el C lenguaje .
En 1951, creó el primer juego en una computadora Turing completa de uso general. Su programa de damas es un programa informático de damas que funciona por primera vez, a una velocidad razonable, durante el verano de 1952 en el ordenador Ferranti Mark I de la Universidad de Manchester .
Christopher Strachey, visionario, sentó las bases y los principios del tiempo compartido en 1959 en un artículo fundamental titulado “ Tiempo compartido en grandes computadoras rápidas ”. También escribió en Scientific American y fue citado allí en la década de 1970 como una inspiración lejana para el lenguaje Smalltalk . Finalmente, es el autor de un programa “histórico” de composición asistida de cartas de amor sobre el Mark 1.
Finalmente, fue él quien propuso por primera vez en 1967 distinguir entre ellos polimorfismos donde había que explicar las formas de los posibles argumentos (será el de PL / I y Algol 68 ) que él llama polimorfismo. Ad hoc , y lo que él llama polimorfismo paramétrico donde esta extensión sería automática, que luego será ligada por John C. Reynolds y Jean-Yves Girard al lambda-calculus y que es el de los lenguajes modernos.
El lenguaje macro m4 está inspirado en el trabajo de Christopher Strachey.