2010-10-21から1日間の記事一覧
Caty/Python リリース8か9か(バージョン Public-Preview 1.0.0)をまたコソッと公開します。リリース番号の管理がいいかげんで、実はこれが9回目のリリースですが、前回はリリース7とか書いてしまいました。バージョン番号の区切りがいいことには何の意味も…
twitter上で忘却関手の話が出てたのでコッチで反応します。バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性/忠実性を使うとか、自由と忘却の随伴(自由 -| 忘却)に根拠を求めるとかありますが、それで全てかどうか…