OCaml-以类型指定数组的大小

如何解决OCaml-以类型指定数组的大小

假设我想定义一个OCaml类型的浮点数组。可以这样做 type exampletype = Array of float。但是假设我想将此类型限制为仅包含固定大小的数组。是否可以创建这种类型，或者在这种情况下，使用适当大小的浮点元组会更有效吗？

解决方法

OCaml数组类型不包括大小。如果数组不是太大，实际上可以使用元组在编译时强制其大小。

可以在OCaml类型中编码数字，从而在编译时强制使用大小。但我个人认为，由此产生的结构所带来的麻烦远远超过了它们的价值。要做到这一点，需要一种专门为此目的设计的语言。他们被称为“依赖类型”语言，所以我听说。这个想法是，它们的类型可以包含值（例如表示数组大小的特定数字）。