関数型プログラミングと圏論かぁ．専門家が語っている（さも自慢げに，ひがみですｗ）のを見て，悔しいと思ってちょっとながめたけど，さっぱりわからん．
まぁ，WikipediaとQiitaを見ただけですが．
ところで，Wikipediaの数学分野の記述ってやたらに力はいっていませんか？