我该如何在OCaml中创建一个使用Batteries的Dyn_array类型的程序？

Question

例如，假设我想创建一个类似于以下类型的类型（使用Dyn_array）：

type some_type = SomeConstructor of <Dyn_array of integers>

我有点不知道怎么做。能否给我一个示例，这样我就可以理解了？

- Jason Baker

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

- nlucaroni

Answer 2

问题出在哪里？语法有误吗？

您尝试使用中间类型了吗？

type my_dyn = Dyn_Array of int

type some_type = SomeConstructor of my_dyn

- LB40

---

请注意，我已经安装了电池，但这是我为常规堆栈所做的操作，而且根据文档看起来也是一样的。 - LB40

这是语法问题。我实际上找到了答案，但忘记在这里发布答案了！ - Jason Baker