■

M.OderskyのType Inference with Constraind Types。HM(X)の話。例が豊富だったり、notationも丁寧に解説されているので、読みやすい。英文がところどころ理解できないが、僕が悪いんだろう。

Haskell-style notationでプログラムの例を書くのは勘弁してくれ。