関数型プログラミング
Lisp
型システム
プログラミング言語を作る
言語モデル論
プログラミングの計算モデル・意味論
Haskell + Elm
関数プログラミング実践入門
0章 入門
1章 比較でみえてくる
2章 型と値
3章 関数
4章 評価戦略
5章 モナド
6章 おすすめの開発/設計テクニック
7章 Haskellによるプロダクト開発への道
8章 各言語にみられる関数プログラミングの影響
JacaScriptで覗き見る関数型プログラミングの世界
https://fixel.co.jp/blog/functionaljs/