http://blog.picsy.org/archives/000203.html 萌えの対立概念と言うところに戦慄。
でした。一年続きました。めでたい。 で、合間に以前のエントリーの話が出たので忘れないうちにメモ。 MLのタプルはスマッシュ直積(strictな直積)、つまり、。だけど、圏論的な直積はnon strictなので別物。 そういう意味で圏論の直積はHaskellのタプルに…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。