Rubyではnewもメソッド呼び出し value restrictionしちゃうと全くpolymorphicにならなくなる value restrictionせずに、インスタンス変数の型だけgeneralizeされないことにしちゃえばokじゃない? あれ?relaxed value restrictionじゃだめ? いや、だめ そもそ…

うーん、value restrictionだと危険かもしれないのかな。SMLがあれば、試せるのか。

newってどうなってるんだろう。まずは、コンストラクタ関数(?)から。 # let new_object x = object method get = x end;; val new_object : 'a -> < get : 'a > = <fun> # let a = new_object (fun x -> x);; val a : < get : '_a -> '_a > = <obj>この挙動はOK。じゃ</obj></fun>…