>>303
一言で言うと、Haskellのモナドや多相型の関数の概念を理解し使いこなす、つまり関数プログラミングの実務に圏論は全く必要ないし
知っていても何の役にも立たない、つまりは圏論はそのキーワードをひけらかしていい恰好したいだけの単なるファッションの飾りに過ぎない

他方、本当に計算の理論（例えば表示的意味論を展開する数学的構造な枠組みとしてのScottらの領域理論など）を
勉強して理解し将来的にはその分野で学術誌か国際会議に論文の１つでも通したいのならば、圏論の勉強は不可欠
（Scott理論の古典的で基礎的な部分の学習だけならば別に圏論を知らなくとも一応はできるけれどね）