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

限界

# 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されてるのでエラー。