Как создать тип, использующий Dyn_array Batteries в OCaml?

Например, предположим, что я хочу создать такой тип (используя Dyn_array):

type some_type = SomeConstructor of <Dyn_array of integers>

Я немного потерялся в том, как это сделать. Может ли кто-нибудь привести мне пример, чтобы я мог обдумать это?


types ocaml
person Jason Baker    schedule 28.11.2009    source источник

Ответы (2)


arrow_upward
2
arrow_downward

В чем проблема ? синтаксис?

Вы пробовали использовать промежуточный тип?

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn
person LB40    schedule 01.12.2009
comment
обратите внимание, что у меня установлены батареи, но это то, что я сделал бы для обычного стека, и он выглядит так же (хотя на основе документации) - person LB40; 01.12.2009
comment
Это был синтаксис. Я действительно нашел ответ на этот вопрос, но забыл опубликовать ответ здесь! - person Jason Baker; 01.12.2009

arrow_upward
4
arrow_downward

(батарейки у меня не установлены). DynArray.t уже определен. Вы просто хотите указать тип для своей свободной переменной, а не определять новый конструктор (что, X of y будет делать, ну, кроме того, что встроенный синтаксис недопустим),

type some_type = SomeConstructor of integers DynArray.t

Если вы хотите оставить тип DynArray свободным, тогда

type 'a some_type = SomeConstructor of 'a DynArray.t
person nlucaroni    schedule 01.12.2009