String diagram のすすめ - PSこちらは Haskell Advent Calendar 2015 - Qiita の 20 日目の記事です。 前の日･･･Hakyllでブログを作る(実践編) - Wake up! Good night* 次の日･･･「第2期 H本読書会 in 秋葉原」を終えて #readhbon #haskell - セカイノカタチ String diagram String diagram というのは 圏論の bicategory というのを、平面上の点と線を使って描くものなんですが、特にややこしい知識が無くても使える(使っている)、と思ったので記事にしました。 以下、圏論の知識は必要ありません。 垂直方向について 型を縦線で表現し、関数は縦線上のノードで表現します: 諸般の事情で四角になってますが、ノートに書くときは丸でも何でもかまいません。 定義域aが下になっていることに注意。 関数id = \
