>>702
「見えてこない」のは当たり前で、期待するような
現実世界の実用的なアプリケーション開発に適用できるほど、
(Haskell に代表される)純粋関数型言語によるプログラミング技術、
いわゆる「関数プログラミング」は成熟していないのが現実

そもそも圏論のプログラミングへの応用も始まったばかり
しかも Haskell のアローやモナドは、圏論という概念ではほんの一部でしかない
逆の見方をすると、10年先20年先という時間感覚で
挑戦しがいのある分野の一つが「関数プログラミング」だと思う