Categories for the Working Programmer

http://www.iij-ii.co.jp/lab/techdoc/category/

このタイトルは圏論の有名な本「Categories for the Working Mathematician」から本歌取りしていると思う、きっと。

こんな記事書けたらいいな、と思っていたら池渕さん*1に書かれてしまったので、ぼくは「Constructive type theory for the Working Programmer」を書きたい。まだ先の話。

ところで、Working Programmerと一言にいっても色々あるなあ、と思うこのごろ。この話はまた別の機会に。

*1:もちろん面識はない