I know there’s a few computer scientists on here, and a few Haskell and ML hackers.
Turing Award winner Robin Milner, one of the greats of computer science, died earlier this week. He invented the CCS, the pi-calculus and did fundamental work on bigraphs, dominating theoretical research in concurrency, popularised the notion of bisimulation, co-authored LCF, a proof assistant whose internal design lives on with Isabelle, HOL 98 and HOL Light, co-discovered the Hindley-Milner type inference algorithm leading directly to languages like Haskell, was primary designer of ML, the meta-language for LCF, and later a general purpose programming language, the first to be precisely and fully defined mathematically, and contributed to the eventual definition of type safety for programming languages, influential in e.g. the design of Java and most modern languages.
A pretty smart guy!