高橋メソッドで「OCamlの型推論」

http://www.kmonos.net/wlog/sub/typeinf.html

「どうみてもintです」ｗｗｗｗｗ

来月頭にオブジェクトの型推論について学内で発表するのだが、全然説明できる気がしなかったところで、良い資料が見付かった(え?)。高橋メソッドで説明できるんなら、普通にやってどうして説明できないか。*1

*1:しかし、これを「OCamlの型推論」と言ってしまうのはいかがなものか、みたいな余計な感想。オブジェクトくらいやって、始めて「OCamlの型推論」じゃないかと。