functional-programming - 函数式更新

Question

这可能是矛盾的，但是如何以函数式编程风格更新数据实体？从我读过的所有内容来看，函数式编程使用转换来返回不可变实体的输出。我唯一能想到的就是完全替换原始实体，但这似乎与经典更新方法几乎相同。

Answer 1

您是在谈论磁盘数据库实体还是内存中的数据结构。

对于后者，函数式语言使用持久化的数据结构，其实现使得新版本和旧版本在更新后都可用，但它们共享公共部分（因此它是高效的）。因此，您似乎正在返回一个全新的数据结构，但实际上，它与正在修改的数据结构共享其大部分实现。

在 clojure 源代码（用 Java 编写）中有一些非常好的实现可供查看——我在我的博客上将其中两个分开

http://www.loufranco.com/blog/files/20-Days-of-Clojure-Day-7.html

http://www.loufranco.com/blog/files/20-Days-of-Clojure-Day-8.html

Answer 2

简短的回答是，在函数式风格中，每个数据实体都是不可变的，因此更新实际上是具有更新值的新数据实体，有点像字符串在 .NET 中的工作方式。

真正有趣的挑战是在处理 IO 时出现，以纯粹的函数方式对 I/O 建模变得很困难，这会导致像Monads这样的变通方法。

Answer 3

卢佛朗哥有。功能语言中的数据结构被实现为修改它们，您“完全替换”原始实体。在幕后，他们仍然使用大部分旧的：他们只是替换更改的位。旧版本也仍然存在，但只要没有人引用它，垃圾回收最终就会将其销毁。