功能风格的更新

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

Lou Franco拥有它。实现函数语言中的数据结构，以便修改它们，“完全替换”原始实体。在幕后，他们仍然使用旧的大部分：他们只是替换改变的位。旧版本仍然存在，但只要没有人引用它，垃圾收集最终会破坏它。