Haskell
https://gyazo.com/7a426ecd3c2000fd43d1ac1af5671159
1990 年、
FPCA
'87 で結成された委員会により作られた
プログラミング言語
。すべてのプログラミング言語は Haskell に近づいていると言われている。
型推論
付き
静的型付け言語
静的多相型付け
遅延評価
を基礎とした
純粋関数型プログラミング言語
という特徴を持つ
定義の宣言などの少数の
文
を除きすべてが
式
遅延評価によりその値が実際に必要になるまで評価されない
無限リストなどが実現可能
モナド
を用いることで
関数
の
参照透過性
を担保している
高階関数
パターンマッチ
代数的データ型
ソースコード
の見た目が異様なので見慣れていない人に威圧感を与える、らしい