up:: Programming
same:: Elm
純粋関数型言語。古くから存在する。
GHCup
100行のHaskellでスネークゲームを作った Haskell - Qiita
なぜHaskellを学ぶと良いか ポエム - Qiita
Haskellにおける型レベルプログラミングの基本(翻訳) Haskell - Qiita
派生言語にMercuryというのがある。というかどっちかというとProlog派生。関数型と論理型を混ぜ企業でも採用実績があるとか。
The Mercury Project: Comparing Mercury and Haskell
The Mercury Project: About