# class type ['a] mylist = object method map : 'b . ('a -> 'b) -> 'b mylist end;; This type scheme cannot quantify 'b : it escapes this scope.うむむ…['a] mylistを、Polymorphicに定義中に使うことができないので、'a = 'bになってしまい、そしてm…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。