Haskell
Lat, ren, statiskt typad funktionell programmeringsspråk. Namngivet efter Haskell Curry. Första standarden 1990, fortfarande forskningsfront i typsystem.
Simon Peyton Jones (Microsoft Research, sen Epic Games 2021) är huvudgestalten. GHC är dominerande kompilatorn. Berömd för monader, typklasser, lazy evaluation by default. Använt av Facebook (spam-filter), Standard Chartered, GitHub Semantic. Stor influens på Rust, Scala, Swift, TypeScript. Lärokurvan är brant men sägs ändra hur man tänker om programmering.