Robin Milner est un de ces pionniers dont les travaux ont forcément affecté, directement ou non, à peu près tout le monde. Il m'a, de plus, laissé l'impression d'un gentil monsieur très intéressant à écouter, même si en ce qui me concerne je ne l'ai entendu que pendant une de ses journées de visite en France, pas comme ces veinards qui en ont eu pour trois mois :-).
Pour ma part, c'est surtout le pi-calcul qui m'a marqué, sans doute parce qu'on m'a présenté la synthèse de types sans l'aspect historique. J'ai été très impressionné de voir que l'on pouvait définir un formalisme aussi simple et propre, qui est aux systèmes concurrents ce que le lambda-calcul est aux systèmes séquentiels, dans lequel la notion même de communication devient fondamentale.
# Un des « grands anciens »
Posté par ɹǝıʌıʃO . En réponse au journal Nécrologie : Robin Milner.. Évalué à 4.
Pour ma part, c'est surtout le pi-calcul qui m'a marqué, sans doute parce qu'on m'a présenté la synthèse de types sans l'aspect historique. J'ai été très impressionné de voir que l'on pouvait définir un formalisme aussi simple et propre, qui est aux systèmes concurrents ce que le lambda-calcul est aux systèmes séquentiels, dans lequel la notion même de communication devient fondamentale.