ML多相の続き - sumiiのブログ

ML多相の続き - sumiiのブログ

さて、Wrightの論文の当時は、value restrictionは妥当な制限だった。なぜならば、value restrictionの...概要を表示 さて、Wrightの論文の当時は、value restrictionは妥当な制限だった。なぜならば、value restrictionのせいで型付けできなくなる主なケースは、多相関数の部分適用がまた多相関数になる（はずの）場合ぐらいで、それはlet x = eのeをfun y -> e yのように書き換えること（η展開）で回避できたからである。 ところが、SML#のような多相レコード、OCamlのような多相オブジェクトないし多相バリアントを利用すると、value restrictionが本当に問題になってくる。たとえば # let f x = `V x ;; val f : 'a -> [> `V of 'a ] = <fun> # let v = f 1 ;;などで、vがpolymorphicにならないとしたら、「（実質的に）多相バリアントを返す関数は書けない」ことに（事実上）なってしま

• ocaml