Основной вопрос OCaml ООП

Question

Я пытаюсь узнать oCaml и у меня возникла проблема с тем, почему приведенная ниже программа недействительна.

class myClass2 =
object
 method doSomething = Printf.printf "%s\n" "Doing something"
end;;

class myClass foo =
object
 val dMember = foo
 method doIt = dMember#doSomething
end;;

let mc2 = new myClass2;;
let mc = new myClass mc2;;
mc#doIt;;

Ошибка, которую я получаю при попытке скомпилировать программу:

File "sample.ml", line 6, characters 5-84:
Some type variables are unbound in this type:
  class myClass :
    (< doSomething : 'b; .. > as 'a) ->
    object val dMember : 'a method doIt : 'b end
The method doIt has type 'a where 'a is unbound

Мне особенно интересно, почему:

val dMember = foo
method doIt = dMember#doSomething

недействительно. Любая (и я имею в виду любая ) помощь приветствуется.

Answer 1

Объекты OCaml не могут иметь свободные переменные типа в своих сигнатурах. Поскольку тип аргумента foo не указан полностью, необходимо параметризовать myClass с помощью свободных переменных типа foo.

class ['a] myClass foo =
object
 val dMember = foo
 method doIt : 'a = dMember#doSomething
end;;

Это определение имеет тип

class ['a] myClass :
  (< doSomething : 'a; .. > as 'b) ->
  object val dMember : 'b method doIt : 'a end

Это похоже на обычные параметризованные типы данных, например, 'a tree (квадратные скобки вокруг 'a - лишь небольшая часть синтаксического смещения). Обратите внимание, что 'a является типом foo#doSomething, а не foo.

# let x = new myClass (new myClass2);; 
val x : unit myClass = <obj>
# x#doIt ;;
Doing something
- : unit = ()

Answer 2

Объявите тип:

class myClass (foo:myClass2) =