URL: https://linuxfr.org/users/axioplase/journaux/n%C3%A9crologie%C2%A0-robin-milner Title: Nécrologie : Robin Milner. Authors: Axioplase ıɥs∀ Date: 2010年03月23日T07:08:35+01:00 Tags: bronsonisation Score: 34 Il y a quelques jours, nous apprenions sur la mailing-list "TYPES" le [décès de Robin Milner](http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html) [1], qui nous a quitté le 20 mars 2010. Il est probable que beaucoup d'entre vous ne sachent pas qui Robin Milner était, alors je me permets de faire une rapide biographie : Né en Angleterre en 1934, il fait une carrière académique qui l'envoit notamment à Stanford, Edinburgh (où il co-fonde le [Laboratory for Foundations of Computer Science](http://www.lfcs.inf.ed.ac.uk/) [2]) et à Cambridge où il sera chef du département d'informatique. En quoi Milner nous intéresse-t-il ? Eh bien d'une part, Milner a créé un des premiers assistants de preuve et pour ce faire, a développé le langage ML. Le langage ML, dont des descendants actuels connus sont OCaml et Haskell, fut le premier langage avec inférence de types polymorphes (ce qui permet donc d'écrire un programme valide comme '_let f x = x in (f 3, f "bar")_') et système d'exceptions bien typé ; on parle d'ailleurs toujours de l'algorithme d'inférence Hindley-Milner qui est à la base de bien d'autres très utilisés de nos jours. Difficile aujourd'hui de se passer d'un système de types (dynamique ou statique) dans un langage de programmation, et de faire confiance à du code dans des application critiques qui n'a pas été prouvé formellement (même s'il reste du travail à faire). D'autre part, Robin Milner est un des pionniers de l'étude des systèmes concurrents, avec sa recherche sur CCS et le [π-calcul](http://fr.wikipedia.org/wiki/Pi-calcul) [3] (et dernièrement les [bigraphes](http://www.cl.cam.ac.uk/~rm135/uam-theme.html) [4]). Il a proposé un formalisme simple pour étudier le parallélisme et ses problèmes, comme les f{a,u}meux « race conditions » ou situations de compétition, et sur lequel encore beaucoup de recherche se fonde. Son influence sur l'informatique moderne est indéniable, et il obtint en 1991 le fameux [Turing Award](http://awards.acm.org/citation.cfm?id=1569367&srt=alpha&alpha=M&aw=140&ao=AMTURING&yr=1991) [5] pour ses travaux, pour ne citer qu'une seule des distinctions qui lui furent accordées. J'ai eu la chance de suivre trois mois de cours (presque particuliers) avec lui sur les bigraphes en 2007 et je suis touché par sa disparition. En espérant que ce journal ne vous dépayse [pas trop](https://linuxfr.org//~OlivierL/15140.html) [6], je vous saurai gré d'avoir une pensée magnanime pour ce chic type. [1] : [http://lists.seas.upenn.edu/pipermail/types-list/2010/001478(...)](http://lists.seas.upenn.edu/pipermail/types-list/2010/001478.html) [2] : [http://www.lfcs.inf.ed.ac.uk/](http://www.lfcs.inf.ed.ac.uk/) [3] : [http://fr.wikipedia.org/wiki/Pi-calcul](http://fr.wikipedia.org/wiki/Pi-calcul) [4] : [http://www.cl.cam.ac.uk/~rm135/uam-theme.html](http://www.cl.cam.ac.uk/~rm135/uam-theme.html) [5] : [http://awards.acm.org/citation.cfm?id=1569367&srt=alpha&alph(...)](http://awards.acm.org/citation.cfm?id=1569367&srt=alpha&alpha=M&aw=140&ao=AMTURING&yr=1991) [6] : [https://linuxfr.org//~OlivierL/15140.html](https://linuxfr.org//~OlivierL/15140.html)