Haskell
Linguagem de programação funcional pura, preguiçosa e de tipagem estática. Leva o nome de Haskell Curry. Primeiro padrão em 1990, e ainda na fronteira da pesquisa em sistemas de tipos.
Simon Peyton Jones (Microsoft Research e, a partir de 2021, Epic Games) é a figura central. O GHC é o compilador dominante. Famosa por mônadas, typeclasses e avaliação preguiçosa por padrão. Usada no Facebook (filtro de spam), no Standard Chartered e no GitHub Semantic. Grande influência sobre Rust, Scala, Swift e TypeScript. A curva de aprendizado é íngreme, mas dizem que muda a forma como você pensa em programação.