问题描述
为什么Ocaml具有可变数组？据我所知，函数式编程是为了最大程度地减少副作用。可变数组（edit :)是否与该想法相反？
在Ocaml中甚至字符串都是可变的，甚至在python中也不是这样，还是OCaml不被视为纯粹的功能语言？
解决方法
OCaml不是纯函数语言，是的。它具有纯功能子集，但支持突变和许多命令式构造（以及可变的OO对象）。恕我直言，这一点是允许程序员进行必要的权衡，同时为函数式编程提供出色的支持（以及一种鼓励）。
正如@AnuragSoni指出的那样，列表和数组在OCaml中是不同的。数组是可变的，但列表不是可变的。
在我看来，纯函数数组是非常有问题的。以我（适度）的经验，例如，它们在Haskell中并未得到广泛使用。是的，它们是纯净的，但是对于许多目的而言却不够有效。
,是的，可变数组与纯函数编程相反。但是ocaml不仅限于函数式编程。它还具有许多命令式和面向对象的功能。
与其他数据类型相比，数组具有一项主要功能，可将其设置为适当：恒定时间的随机访问（也称为直接访问）。这包括阅读和写作。如果没有可变数组，就不可能有恒定时间具有随机访问写操作的数据结构。这对于例如哈希表或堆。
现在拥有不可变数组和可变数组本来很好，并且可以用幻像类型轻松实现这一点，这样的方式是期望不可变数组的函数也将接受可变数组，但反之则不然。 / p>
但是ocaml核心语言在历史上已经成长为包括ocaml解释器/编译器所需的所有内容，以及几乎所有其他内容。不需要具有不可变的数组，但需要可变的数组。因此实现了直接可变数组类型。将其扩展为可变/不可变数组很容易，但这留给了标准库的扩展。
注意：元组是不可变的数组。但是它们具有固定的编译时大小，并且没有索引运算符。
注2：ocaml以可变字符串开头。多年以后，直到最近，它都被更改为字节（可变）和字符串（不可变）。遗憾的是，没有幻像类型，因此它们不可互换。