http://blog.picsy.org/archives/000203.html 萌えの対立概念と言うところに戦慄。

でした。一年続きました。めでたい。 で、合間に以前のエントリーの話が出たので忘れないうちにメモ。 MLのタプルはスマッシュ直積（strictな直積）、つまり、。だけど、圏論的な直積はnon strictなので別物。 そういう意味で圏論の直積はHaskellのタプルに…