オブジェクトとレコード型の違い

卒論ではオブジェクトのインスタンス変数は扱っていません．たぶんこれが理由で，あんまりややこしいことになっていないのだと思います．オブジェクトを含む型の議論もきちんと考えるべきなのですが，力不足でした．

正直，よくわからなくなってきました*1．Pierceの本でも読んで，ちゃんと勉強しようと思います．

*1:気持ち悪いってどこが気持ち悪いのか．考えようとすると，ほんとに気持ち悪いのかどうなのかもわからなくなってくる．もうにっちもさっちも・・・