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

※コメント欄参照のことOCamlの型システムを見てると、Structural PolymorphismとStructural Subtypingという良く似た言葉が出てきます。この二つは一体なにが違うんでしょう。そもそも、OCamlってサブタイピングあったっけ?とか。そういう話。 OCamlで言うと…