Haskell
Tembel, saf, statik tipli fonksiyonel programlama dili. Adını Haskell Curry'den alır. İlk standardı 1990'da çıktı, tip sistemleri araştırmasının öncü uçlarından biri olmayı sürdürüyor.
Merkezî isim Simon Peyton Jones (Microsoft Research, 2021'den sonra Epic Games). Baskın derleyici GHC'dir. Monadlar, tür sınıfları ve varsayılan tembel değerlendirmesiyle tanınır. Facebook (spam filtresi), Standard Chartered ve GitHub Semantic'te kullanıldı. Rust, Scala, Swift ve TypeScript üzerinde büyük etkisi var. Öğrenme eğrisi diktir, ama programlamayı düşünme biçiminizi değiştirdiği söylenir.