Haskell
Linguaggio di programmazione funzionale lazy, puro e staticamente tipizzato. Prende il nome da Haskell Curry. Primo standard nel 1990, ancora oggi all'avanguardia nella ricerca sui sistemi di tipi.
Simon Peyton Jones (Microsoft Research, poi Epic Games nel 2021) ne è la figura centrale. GHC è il compilatore dominante. Celebre per le monadi, le typeclass e la valutazione lazy per impostazione predefinita. Usato in Facebook (filtro antispam), Standard Chartered, GitHub Semantic. Ha influenzato in modo rilevante Rust, Scala, Swift e TypeScript. Curva di apprendimento ripida, ma si dice che cambi il modo di pensare alla programmazione.