http://slurp.doc.ic.ac.uk/pubs/typeinferenceforjavascript-ecoop05.pdf型システムとかの話はさくさく読み進める。なんか、Subtypingが怪しいなあ…decideableにするためには、ここまで弱くしないといけないのか。definiteをde-finiteだとなぜか思い込んで…

先週お休みだったので、今日もHM(X)。話が抽象的でよくわからない。丁寧には書いてあるんだけどなあ…ちょっと私のレベルが足りないみたいです。

M.OderskyのType Inference with Constraind Types。HM(X)の話。例が豊富だったり、notationも丁寧に解説されているので、読みやすい。英文がところどころ理解できないが、僕が悪いんだろう。Haskell-style notationでプログラムの例を書くのは勘弁してくれ。