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

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

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

「どうみてもintです」wwwww

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

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