Haskell
Lenguaje de programación funcional perezoso, puro y de tipado estático. Bautizado en honor a Haskell Curry. Primer estándar en 1990, todavía en la frontera de la investigación en sistemas de tipos.
Simon Peyton Jones (Microsoft Research, después Epic Games en 2021) es la figura central. GHC es el compilador dominante. Célebre por las mónadas, las clases de tipos y la evaluación perezosa por defecto. Se usa en Facebook (filtro de spam), Standard Chartered y GitHub Semantic. Gran influencia sobre Rust, Scala, Swift y TypeScript. Curva de aprendizaje empinada, pero se dice que cambia tu forma de pensar la programación.