お勉強
また時間切れの予感。反省。次こそはもっと計画的に進めよう。
先日のJacquesの論文。Unificationアルゴリズムを確認して、Type Reconstructionがなんなのかちゃんと読んで。証明をきちんと追う時間はないなあ…
レコード型は少しずつわかってきた感じ。しかし「Constraintがlocalだ」としきりに強調しているが、これ以前の議論を知らないので意味がわからないのが問題。HM(X)ってなによ?と。次は、Subtypingしてる論文を読むのがいいのかな。
オブジェクトを考えると、これに再帰的な型と、バーチャルメソッドが入ってくるのか…死ぬな。
Outputがなにもないのが辛いが、がんばって勉強するしかない。