Haskell
Ленивый, чистый, статически типизированный функциональный язык. Назван в честь Хаскелла Карри. Первый стандарт — 1990 год, до сих пор на переднем крае исследований систем типов.
Центральная фигура — Саймон Пейтон Джонс (Microsoft Research, с 2021 года Epic Games). Основной компилятор — GHC. Язык известен монадами, классами типов и ленивыми вычислениями по умолчанию. Применялся в Facebook (спам-фильтр), Standard Chartered, GitHub Semantic. Сильно повлиял на Rust, Scala, Swift и TypeScript. Порог входа высок, но говорят, что Haskell меняет способ мышления о программировании.