2006-05-09 限界 OCaml # 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になってしまい、そしてmapの型の中で'aがforallされてるのでエラー。