Всем привет. Я хочу написать мини-дб на ОКамле и сейчас пишу

Question

Всем привет. Я хочу написать мини-дб на ОКамле и сейчас пишу

query execution engine где мне нужно реализовать каждый оператор в стиле Iterator interface (open/close/next)
ADT не совсем подходит для этого, так как я хочу чтобы каждый оператор был в отдельном файле.
Модули тоже не подходят, потому что я не могу создать дерево модулей и вызывать open/close/next на каждом модуле.
Я пытался это сделать с модульными функторами, но тип выходит из scope и не выходит так.
Другая опция это ооп классы, однако это не звучит как idiomatic OCaml

Как написать нечто подобное? У кого-то есть идеи?

#programming #reasonml #russian

0

22.12.2021

3 ответов

22 просмотра

Андрей

А что понимается под деревом модулей?

0

22.12.2021

Denis G Автор вопроса

Андрей
А что понимается под деревом модулей?

что-то такое module type Operator = sig type t val next: t -> string end module CollScan: Operator = struct type t = unit let next () = "dummy" end module Selection (Child: Operator): Operator = struct type t = { child: Child.t } let next t = Child.next t.child end type op = | CollScan of CollScan.t | Selection of Selection.t (* Error: Selection is a functor and does not have any components *)

0

22.12.2021

Vadim R. · Accepted Answer

Vadim R.

Вообще в окамле с 4.02 можно описывать тип в разных модулях, но я сам не пробовал) https://ocaml.org/releases/4.13/htmlman/extensiblevariants.html

0

22.12.2021

169 похожих чатов

Всем привет. Я хочу написать мини-дб на ОКамле и сейчас пишу

3 ответов

Похожие вопросы