Haskell
Langage de programmation fonctionnelle paresseux, pur et à typage statique. Nommé d'après Haskell Curry. Premier standard en 1990, toujours à la pointe de la recherche sur les systèmes de types.
Simon Peyton Jones (Microsoft Research, puis Epic Games depuis 2021) en est la figure centrale. GHC est le compilateur dominant. Célèbre pour ses monades, ses classes de types, son évaluation paresseuse par défaut. Utilisé chez Facebook (filtre anti-spam), Standard Chartered, GitHub Semantic. Influence majeure sur Rust, Scala, Swift, TypeScript. Courbe d'apprentissage raide, mais réputé pour changer la façon de penser la programmation.