関数型言語で、圏論やモナドなどが出てくるのは、
先に圏論プログラミング言語があってその実装としてHaskellなど作られたせいか。


Scalaで関数型プログラミングをする#3 圏論を学ぶ(前) ｜ Developers.IO
https://dev.classmethod.jp/etc/func-program3/

Haskell-モナド CapmNetwork
http://capm-network.com/?tag=Haskell-%E3%83%A2%E3%83%8A%E3%83%89

JavaScriptのモナド | プログラミング | POSTD
http://postd.cc/monads-in-javascript/

圏論プログラミング言語 - Google 検索
https://www.google.co.jp/search?q=%e5%9c%8f%e8%ab%96%e3%83%97%e3%83%ad%e3%82%b0%e3%83%a9%e3%83%9f%e3%83%b3%e3%82%b0%e8%a8%80%e8%aa%9e