arrays - 如何自动将纯代码转换为使用可变数组的代码以提高效率？

Question

这是一个 Haskell 问题，但我也对其他语言的答案感兴趣。有没有一种方法可以将纯函数式代码(编写用于处理列表或不可变数组而不进行任何破坏性更新)自动转换为使用可变数组来提高效率的代码？

在 Haskell 中，生成的代码要么运行在 ST 中。 monad(在这种情况下，它将全部包含在 runST 或 runSTArray 中)或 IO 中monad，我想。

我对适用于任何元素类型的通用解决方案最感兴趣。

我以为我以前见过这个，但我不记得在哪里。如果它还不存在，我会很想创建它。

Answer 1

使用破坏性更新实现函数式语言是一种内存管理优化。如果不再使用旧值，则可以安全地重用旧内存来保存新值。检测一个值将不再被使用是一个难题，这就是为什么重用仍然是手动管理的。

Linear type inference和唯一性类型推断发现一些有用的信息。这些分析会发现保存对某个对象的唯一引用的变量。在最后一次使用该变量后，要么将对象转移到其他地方，要么可以重新使用该对象来保存新值。

多种语言，包括 Sisal和 SAC , 尝试重用旧数组内存来保存新数组。在 SAC 中，程序首先转换为使用显式内存管理(特别是引用计数)，然后优化内存管理代码。