OCaml: модуль, класс и тип

Question

я следующий код в OCaml, который производит ошибку «Освобожденный конструктор типа переменной»:

module OrderedVar = struct 
type t = variable 
let compare v1 v2 = v1#get_name - v2#get_name 
end 

module VarSet = Set.Make(OrderedVar) 

class variable n = 
object 
    val mutable name = n 

    method get_name = name 
end 

Как я могу объявить тип «переменной»?

Спасибо

---

редактировать:

поблагодарить вас за ваши ответы, но мой Probleme немного сложнее. На самом деле, у меня есть два модуля и два класса, которые «переплетаются». Здесь я не могу объявить классы «переменные» и «пункта» до модулей, так как они нужны модули:

module OrderedVar = struct 
type t = variable 
let compare v1 v2 = v1#get_name - v2#get_name 
end 

module VarSet = Set.Make(OrderedVar) 

module OrderedClause = struct 
    type t = clause 
    let compare = compare 
end 

module ClauseSet = Set.Make(OrderedClause) 

class variable n = 
object 
    val mutable name = n 
    val mutable cpos = ClauseSet.empty 
    method get_name = name 
end 

class clause = 
object 
    val mutable vpos = VarSet.empty 
end 

Answer 1

Два комментария:

1. В основном это просто проблема упорядочения ,

2. Оператор - применяется к ints, поэтому я предполагаю, что ваши имена являются ints?

Следующие компилирует для меня:

class variable n = 
    object 
    val mutable name: int = n 
    method get_name = name 
    end 

module OrderedVar = struct 
    type t = variable 
    let compare v1 v2 = v1#get_name - v2#get_name 
end 

module VarSet = Set.Make(OrderedVar) 

Update

Для нового кода, проще всего разорвать порочный круг (как мне кажется) это с классом variable , Его видимый тип довольно прост. Следующие компиляции для меня:

type variabletype = < get_name : int > 

module OrderedVar = struct 
type t = variabletype 
let compare v1 v2 = v1#get_name - v2#get_name 
end 

module VarSet = Set.Make(OrderedVar) 

class clause = 
object 
    val mutable vpos = VarSet.empty 
end 

module OrderedClause = struct 
    type t = clause 
    let compare = compare 
end 

module ClauseSet = Set.Make(OrderedClause) 

class variable n = 
object 
    val mutable name: int = n 
    val mutable cpos = ClauseSet.empty 
    method get_name = name 
end 

Возможно, это обобщит ОК для вашей реальной проблемы.

Answer 2

Объявите класс переменной, прежде чем использовать его. Заказ важен в Ocaml, в отличие от типичных языков OO на языке C, где классы и методы могут отображаться в любом месте файлов.

Эта цитата из https://realworldocaml.org/v1/en/html/files-modules-and-programs.html

В отличии от C, программа в OCaml не имеет уникальную основную функцию. Когда оценивается программа OCaml, все утверждения в файлах реализации оцениваются в том порядке, в котором они были связаны друг с другом.