2009-03-12から1日間の記事一覧

(relaxed) value restriction を回避する pure magic

よいこは読んではいけません。Obj.magic の話です。よいこは寝てください。、、、、、、、、、はい、悪い子しかいませんね。じゃあ、Obj.magic の話をしましょう。Obj.magic は関数なので、適用された結果は expansive です。なので、結果が polymorphic に…

やっぱりOOは使えない

某50stormy先生から、 やっぱオブジェクトは使えないですよね? という修辞疑問っぽいコメントを頂きました。 マッチポンプです。どうもありがとうございました。