読者です 読者をやめる 読者になる 読者になる

Row PolymorphismとSubtypingが違うのは、SubtypingのWidthルール、つまりオブジェクト型のメソッド減らしても良いよーっていうの、に対応する推論規則が、オブジェクトに関しては無いところなんだろうなぁ。

あとさっき気づいたんだけど、rlwrap通してるからか、OCamlのプリティプリンタがおかしい。