お勉強

また時間切れの予感。反省。次こそはもっと計画的に進めよう。

先日のJacquesの論文。Unificationアルゴリズムを確認して、Type Reconstructionがなんなのかちゃんと読んで。証明をきちんと追う時間はないなあ…

レコード型は少しずつわかってきた感じ。しかし「Constraintがlocalだ」としきりに強調しているが、これ以前の議論を知らないので意味がわからないのが問題。HM(X)ってなによ?と。次は、Subtypingしてる論文を読むのがいいのかな。

オブジェクトを考えると、これに再帰的な型と、バーチャルメソッドが入ってくるのか…死ぬな。

Outputがなにもないのが辛いが、がんばって勉強するしかない。