函数式更新

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

卢·佛朗哥拿到了。函数式语言中的数据结构是这样实现的:要修改它们，您需要“完全替换”原始实体。在幕后，他们仍然使用大多数旧的:他们只是替换了改变的部分。旧版本仍然存在，但只要没有人引用它，垃圾收集最终就会销毁它。