Haskell
Lazy, pure, statisch getypeerde functionele programmeertaal, vernoemd naar Haskell Curry. Eerste standaard in 1990 en nog altijd het onderzoeksfront van typesystemen.
Simon Peyton Jones (Microsoft Research, vanaf 2021 Epic Games) is de centrale figuur. GHC is de dominante compiler. Bekend om monaden, typeclasses en standaard lazy evaluatie. Gebruikt bij Facebook (spamfilter), Standard Chartered en GitHub Semantic. Grote invloed op Rust, Scala, Swift en TypeScript. Steile leercurve, maar volgens kenners verandert het hoe je over programmeren denkt.