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:もちろん面識はない