2005-11-19から1日間の記事一覧

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

http://www.kmonos.net/wlog/sub/typeinf.html「どうみてもintです」wwwww来月頭にオブジェクトの型推論について学内で発表するのだが、全然説明できる気がしなかったところで、良い資料が見付かった(え?)。高橋メソッドで説明できるんなら、普通にやっ…