Haskell
Faule, reine, statisch typisierte funktionale Programmiersprache. Benannt nach Haskell Curry. Erster Standard 1990, bis heute Forschungsfront im Typsystem-Design.
Simon Peyton Jones (Microsoft Research, ab 2021 Epic Games) ist die zentrale Figur. GHC ist der dominierende Compiler. Berühmt für Monaden, Typklassen und standardmäßig lazy evaluation. Eingesetzt bei Facebook (Spam-Filter), Standard Chartered, GitHub Semantic. Großer Einfluss auf Rust, Scala, Swift, TypeScript. Die Lernkurve ist steil, soll aber die Art, wie man über Programmierung denkt, verändern.