OCaml определение и реализация интерфейса

Question

Давайте такой код

module type INTERFACE = 
sig 
    val function_that_must_be_implemented : int -> int 
end 

module Implementation : INTERFACE = 
struct 
    let function_that_must_be_implemented x = x 
end 

Есть ли способ, чтобы описать то же самое, но с использованием классов OCaml? Я хочу иметь класс, который реализует такой интерфейс.

Answer 1

Существует нечто, называемое типом класса:

class type interface = object method method_I_want : int end 

Тогда вы можете реализовать его:

class implementation : interface = object 
    method method_I_want = 14 
end 

Вы действительно можете создать экземпляр этого класса:

# let abc = new implementation;; 
val abc : implementation = <obj> 
# abc#method_I_want;; 
- : int = 14