Как модуль, определенный в файле .ml, может ссылаться на себя?
Я пытаюсь определить модуль Point, который определяет тип для представления 2d точек.
Я также хотел бы включить подмодуль Point.Set, чтобы Point.Set.t был
тип, означающий «набор точек». Это кажется логичным и удобным, но я не могу понять, как сделать «круговую» ссылку, которую это включает.
Я пробовал это:
файл: point.ml (неявно определяет модуль «Точка»)
type t = {x: int; y:int}
let compare {x=x1;y=y1} {x=x2;y=y2} = ...implementation omitted for brevity...
module Set = Stdlib.Set.Make(Point)
(* ^^^^^ Internal path Mylib__Point is dangling *)
Когда я dune buildMylib проект/библиотека, в которой он находится, я получаю сообщение об ошибке:
Internal path Mylib__Point is dangling.
The compiled interface for module Mylib__Point was not found.
Я не совсем уверен, что на самом деле означает эта ошибка, но я предполагаю, что она, вероятно, имеет отношение что-нибудь к тому факту, что мы пытаемся сослаться на модуль Point изнутри него самого. А может это не запрещено?
Я могу обойти это, определив вместо этого отдельный файл «pointSet.ml» и include Set.Make(Point). Теперь у меня есть модуль под названием PointSet. Это нормально, но я все же нашел бы немного более «эстетически приятным», если бы Point.Set вместо этого мог быть подмодулем Point. Есть ли способ заставить это работать?
Нет, я так не думаю, речь идет о рекурсивных типах и рекурсивных функциях. Этот вопрос о ссылках на уровне модуля. Я знаю, как работать с рекурсивными типами/рекурсивными функциями. Но я понятия не имею, как поступить с круговой ссылкой в моем примере, который, как мне кажется, имеет другую природу.
Ответ содержит ссылку на что-то о рекурсивных модулях, но ссылка не работает. Это может содержать некоторые намеки на то, каким может быть ответ на мой вопрос. Но этот ответ сам по себе на самом деле не касается моего вопроса напрямую.
Ответы 2
Насколько я знаю, модуль не имеет собственного имени. Вы можете создать модуль (структуру) только для того, чтобы передать его функтору Set.Make:
type t = { x : int; y : int }
let compare a b = compare a b
module Set =
Set.Make(struct type nonrec t = t let compare = compare end)
Вау! Похоже, это работает :-). Я думаю, нам повезло, что Set.Make ожидает только небольшое количество вещей (2 вместо 15). Не очень элегантно говорить «скопируйте эти вещи из моего контекста» одну за другой. Но, по крайней мере, это работает... и это здорово.
Если вы не возражаете против небольшого количества шаблонов, я думаю, что это решение может вам подойти:
point.ml
module Point = struct
type t = { x : int; y : int }
let compare { x = x1; y = _y1 } { x = x2; y = _y2 } = x1 - x2
end
module Set : Set.S with type elt = Point.t = Set.Make (Point)
include Point
У вас будет доступ к Point.Set, а поскольку point.ml включает модуль Point в конце файла, вам не нужно будет делать Point.Point.compare ... в других файлах.
[РЕДАКТИРОВАТЬ]
Раньше я делал модули взаимно рекурсивными, но в данном случае это бесполезно. Если вам нужно, чтобы они были взаимно рекурсивными, вам придется указать их подписи:
point.ml
module rec Point : sig
type t
val compare : t -> t -> int
end = struct
type t = { x : int; y : int }
let compare { x = x1; y = _y1 } { x = x2; y = _y2 } = x1 - x2
end
and Set : (Stdlib.Set.S with type elt = Point.t) = Stdlib.Set.Make (Point)
include Point
open не повлияет на другие модули. Вы имели в виду include Point.? Также нет рекурсивной зависимости между Point и Set, поэтому вы можете определить Point (или Core) и определить Set после Point.
Вы правы, я имел в виду включить. А для рекурсивной части я упростил пример, который у меня был, где Set и Point были взаимно рекурсивными, но в этом случае это бесполезно. Спасибо за обзор
Отвечает ли это на ваш вопрос? Работа с циклическими зависимостями в OCaml