如何制作在OCaml中使用电池的Dyn_array的类型？

Question

例如，假设我想创建一个这样的类型（使用Dyn_array）：

type some_type = SomeConstructor of <Dyn_array of integers>

虽然我对如何做到这一点有点失落。有人能给我一个例子，所以我可以绕过这个吗？

Answer 1

（我没有安装电池）。 DynArray.t已经定义。你只想指定其自由变量的类型而不是定义一个新的构造函数（除了嵌入式语法是非法的，X of y会做什么，

type some_type = SomeConstructor of integers DynArray.t

如果你想让DynArray的类型免费，

type 'a some_type = SomeConstructor of 'a DynArray.t

Answer 2

有什么问题？语法？

您是否尝试过使用中间类型？

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn