Worldlex Wiki programmation , il fut l'un des fondateurs de la sémantique dénotationnelle et du partage de temps informatique . Il a forgé plusieurs termes largement utilisés en informatique, dont le polymorphisme et la transparence référentielle . On lui attribue parfois la paternité du premier jeu vidéo . Il était membre de la famille Strachey , dont de nombreux membres ont occupé ou occupent des postes importants dans les sphères politiques, artistiques, administratives et universitaires.
Hampstead , en Angleterre, de parents nommés Oliver et Ray Strachey ( née Costelloe) . Oliver Strachey était le fils de Richard Strachey et l'arrière-petit-fils de Sir Henry Strachey, 1er baronnet . Sa sœur aînée était l'écrivaine Barbara Strachey . En 1919, la famille s'installa au 51 Gordon Square . Les Strachey appartenaient au groupe de Bloomsbury , dont les membres comprenaient Virginia Woolf , John Maynard Keynes et l'oncle de Christopher, Lytton Strachey . À l'âge de 13 ans, il entra à la Gresham's School , où il montra des signes de brillance, mais ses résultats scolaires furent globalement médiocres. Il fut admis au King's College de Cambridge (le même collège qu'Alan Turing ) en 1935, où il continua de négliger ses études. Il étudia d'abord les mathématiques , puis se tourna vers la physique . À la fin de sa troisième année à Cambridge , Strachey a fait une dépression nerveuse, possiblement liée à la prise de conscience de son homosexualité . Il est retourné à Cambridge mais n'a obtenu qu'une mention passable au Tripos de sciences naturelles .Carrière
N'ayant pu poursuivre ses études, Strachey entra chez Standard Telephones and Cables (STC) comme physicien de recherche. Sa première mission consista à réaliser des analyses mathématiques pour la conception de tubes électroniques utilisés dans les radars . La complexité des calculs exigeait l'utilisation d'un analyseur différentiel . Cette première expérience avec une machine à calculer éveilla son intérêt et il commença à approfondir le sujet. Sa candidature à un doctorat à l'Université de Cambridge fut rejetée et Strachey continua de travailler chez STC pendant toute la Seconde Guerre mondiale . Après la guerre, il réalisa un rêve de longue date en devenant professeur à la St Edmund's School de Canterbury, où il enseigna les mathématiques et la physique. Trois ans plus tard, en 1949, il intégra la prestigieuse Harrow School , où il resta trois ans.
En janvier 1951, un ami le présenta à Mike Woodger du Laboratoire national de physique (NPL). Ce laboratoire avait réussi à construire une version réduite de la machine de calcul automatique (ACE) d'Alan Turing, dont le concept remontait à 1945 : la Pilot ACE . Durant son temps libre, Strachey développa un jeu vidéo de dames en mai 1951. Il s'agissait peut-être du tout premier jeu vidéo. Le jeu satura complètement la mémoire de la Pilot ACE. Le programme de dames échoua en raison d'erreurs de programmation lors de sa première exécution au NPL le 30 juillet 1951. Lorsque Strachey entendit parler du Manchester Mark 1 , doté d'une mémoire bien plus importante, il demanda le manuel à son ancien camarade Alan Turing et transcrivit son programme en codes d'exploitation pour cette machine vers octobre 1951. À l'été 1952, le programme pouvait « jouer une partie complète de dames à une vitesse raisonnable ». Bien qu'il n'ait pas donné de nom à ce jeu, Noah Wardrip-Fruin l'a nommé « MUC Draughts ».
Strachey a programmé la première musique informatique en Angleterre – le tout premier enregistrement de musique jouée par un ordinateur : une interprétation de l’hymne national britannique « God Save the King » sur l’ordinateur Ferranti Mark 1 de l’Université de Manchester , en 1951. Plus tard cette année-là, de courts extraits de trois morceaux y ont été enregistrés par une unité de reportage extérieur de la BBC : « God Save the King », « Baa, Baa, Black Sheep » et « In the Mood ». Des chercheurs de l’ Université de Canterbury , à Christchurch, ont restauré le disque master acétate en 2016 et le résultat est disponible sur SoundCloud .
Durant l'été 1952, Strachey a programmé un générateur de lettres d'amour pour le Ferranti Mark 1 , connu comme le premier exemple de littérature générée par ordinateur .
En mai 1952, Strachey a donné une conférence en deux parties sur « l'étude du contrôle chez les animaux et les machines » (« cybernétique ») pour l' émission Science Survey du BBC Home Service .
Strachey a travaillé pour la National Research Development Corporation (NRDC) de 1952 à 1959. Dans le cadre du projet de la Voie maritime du Saint-Laurent, il a pu visiter plusieurs centres informatiques aux États-Unis et répertorier leurs jeux d'instructions . Par la suite, il a travaillé à la programmation des ordinateurs Elliott 401 et Ferranti Pegasus . Avec Donald B. Gillies , il a déposé trois brevets en conception informatique, dont celui des registres de base pour la relocalisation des programmes. Il a également travaillé sur l'analyse des vibrations des aéronefs, collaborant brièvement avec Roger Penrose .
En 1959, Strachey quitta le NRDC pour devenir consultant en informatique. Il travailla pour le NRDC, EMI , Ferranti et d'autres organisations sur divers projets. Son travail comprenait la conception logique d'ordinateurs, la production de code automatique et, plus tard, la conception de langages de programmation de haut niveau . Pour un contrat portant sur la production du code automatique de l' ordinateur Ferranti Orion , Strachey engagea Peter Landin , qui devint son unique assistant durant toute la durée de sa mission de consultant.
Strachey a développé le concept de temps partagé en 1959. Il a déposé une demande de brevet en février de la même année et a présenté une communication intitulée « Time Sharing in Large Fast Computers » lors de la conférence inaugurale de l’UNESCO sur le traitement de l’information à Paris, où il a transmis le concept à JCR Licklider . Cet article est considéré par le MIT Computation Center en 1963 comme « le premier article sur les ordinateurs à temps partagé ».
En 1962, tout en restant consultant, il accepta un poste à l' Université de Cambridge .
En 1965, Strachey accepta un poste à l' Université d'Oxford en tant que premier directeur du Programming Research Group et plus tard premier professeur d'informatique de l'université et membre du Wolfson College, Oxford . Il collabora avec Dana Scott .
Strachey a été élu membre émérite de la British Computer Society en 1971 pour son travail de pionnier en informatique.
En 1973, Strachey (avec du prix Adams , qu'ils remanièrent ensuite pour en faire un livre. Strachey participa au débat Lighthill de 1973 sur l' intelligence artificielle avec John McCarthy et d'autres (voir le rapport Lighthill ).
Il a développé le langage de programmation combiné (CPL). Son ouvrage influent, * Concepts fondamentaux des langages de programmation*, a formalisé la distinction entre les valeurs L et R (telles qu'on les trouve dans le langage de programmation C ). Strachey a également forgé le terme « curryging » , bien qu'il n'en soit pas l'inventeur.Ferranti Pegasus .
Le langage macro m4 dérive en grande partie du GPM ( General Purpose Macrogenerator ) de Strachey, l'un des premiers langages d'expansion de macros .
Strachey contracta une maladie diagnostiquée comme une jaunisse , qui, après une période de rétablissement apparent, revint, et il mourut d'une hépatite infectieuse le 18 mai 1975. Après sa mort, Strachey fut remplacé par Sir Tony Hoare à la tête du groupe de recherche en programmation à Oxford, à partir de 1977.
Héritage
Le département d'informatique de l' université d'Oxford possède une chaire Christopher Strachey d'informatique , qui a été occupée par les personnes suivantes :
- Sir Tony Hoare FRS (1988–2000)
- Samson Abramsky FRS (2000–2021)
- Nobuko Yoshida (à partir de 2022)
En 1995, les conférences Strachey en informatique ont été créées à l'Université d'Oxford en mémoire de Strachey. En novembre 2016, un événement Strachey 100 a été organisé à l'Université d'Oxford pour célébrer le centenaire de la naissance de Strachey, incluant une consultation à la bibliothèque Weston d'Oxford des archives de Christopher Strachey conservées dans la collection de la bibliothèque Bodléienne .
Publications
- Strachey, Christopher (1952). « Programmes logiques ou non mathématiques » . Actes de la réunion nationale de l’ACM de 1952. Toronto : ACM. p. 46–49 . doi : 10.1145/800259.808992 .
- doi : 10.1049/pi-b-2.1959.0311 .
- The Computer Journal . 2 (2) : 89. doi : 10.1093/comjnl/2.2.89 .
- UNESCO . pp. 336–341 .
- The Computer Journal . 3 (2) : 114–116 . doi : 10.1093/comjnl/3.2.114 .
- doi : 10.1145/366199.366254 . S2CID 7359297 .
- doi : 10.1145/366813.366816 . S2CID 8757176 .
- The Computer Journal . 4 (2) : 168–176 . doi : 10.1093/comjnl/4.2.168 .
- The Computer Journal . 5 (2) : 152– 153. doi : 10.1093/comjnl/5.2.152 .
- The Computer Journal . 6 (2) : 134–143 . doi : 10.1093/comjnl/6.2.134 .
- The Computer Journal . 7 (4) : 313. doi : 10.1093/comjnl/7.4.313 .
- The Computer Journal . 8 (3) : 225–241 . doi : 10.1093/comjnl/8.3.225 .
- doi : 10.1023/A:1010000313106 . S2CID 14124601 .
- Polytechnic Institute of Brooklyn . p. 19-46 .
- Fondation Cini . pp. 222–233 .Voir aussi : Strachey, Christopher (1973). Les variétés des langages de programmation (Rapport technique). Laboratoire d’informatique de l’Université d’Oxford, Groupe de recherche en programmation. PRG10.The Computer Journal . 15 (2) : 117–124 . doi : 10.1093/comjnl/15.2.117 .
- The Computer Journal . 15 (3) : 195–203 . doi : 10.1093/comjnl/15.3.195 .
- doi : 10.1023/A:1010026413531 . S2CID 10673265 .
- ISBN978-1-5041-2833-9.