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

ここまで

  1. Rubyではnewもメソッド呼び出し
  2. value restrictionしちゃうと全くpolymorphicにならなくなる
  3. value restrictionせずに、インスタンス変数の型だけgeneralizeされないことにしちゃえばokじゃない?
  4. あれ?relaxed value restrictionじゃだめ?
  5. いや、だめ
  6. そもそもOCamlのnewってただの関数呼び出しだったりする?

3が怪しい。