clojure - 尝试理解 Clojure

Question

一位 friend 试图让我相信 clojure 的好处，而我正在尽力理解这门语言。我浏览了很多网站并浏览了《Clojure for the Brave and True》一书，但我仍然遗漏了一些东西。

我的背景是面向对象编程，程序对象代表现实世界的对象是我的第二天性。我读过 clojure 不是 OO，但我不明白 clojure 是做什么的。

这是一个示例(非常简化)。我正在编写一个用于规划退休收入的应用程序。它有一个储蓄账户类和一个养老金类。储蓄账户有余额和利率。它有一个 Withdraw 方法，可以在一年内取出指定数量(传递的参数)。余额每年根据提取的金额减少并根据利息金额增加。您提取的金额永远不能超过余额。

养老金类别有年收入和每年百分比增长。这也有提款方法，但提款的金额始终是年收入(每年按百分比增加)。即它的计算方式与储蓄账户不同。

在我的面向对象程序中，这两个类都实现了定义 Withdraw 方法的协议(protocol)，因此我的代码可以以相同的方式处理它们，而无需考虑它们的差异。

在 clojure 世界中，什么代表储蓄账户和养老金。即哪些结构将实例的数据以及对该数据进行操作的方法收集在一起？在面向对象中，类定义数据和方法。实例是数据的唯一出现。定义该类的代码文件告诉我有关该类所代表的对象的所有信息。 Clojure 如何做到这一点，或者它做了什么？

Answer 1

首先我告诉你，我完全理解你的感受，我也经历过同样的情况。我还要告诉你，学习 Clojure(函数式编程)是完全值得的(当然这是个人评估)。

Clojure 确实有 OOP 工具，例如有 defrecord 和 defprotocol。但从本质上讲，它比面向对象更具功能性，只有开始从功能性角度思考，您才会获得其真正的​​好处immutability .

要编写惯用的 Clojure，您需要将思维从对象转变为函数。在函数式语言中，一切都围绕着函数，而不是数据(对象)。数据使用简单的数据结构(例如 map )来表示。您不需要像 OOP 那样将函数与其数据绑定(bind)。在您的例子中，您只需要一个数据结构来表示此数据，例如 map ，而不是类 Savings Account 和类 Pension:

(def saving-account {:balance 0.0, :interest-rate 0.0})
(def pension {:annual-income 0.0, :annual-increase 0.0})

Withdraw 方法只是针对每种情况的一个函数，例如:

(defn withdraw-from-saving-account [sa amount] ( <return updated saving account map> ))
(defn withdraw-from-pension [p] ( <return updated pension map> ))

在 Clojure 中，您通常希望保持所有内容不可变，因此上述函数将返回新的更新映射，并且不会修改现有映射中的任何现有状态。当来自像 Java 的 OOP 这样的重可变状态范例时，需要一些时间来适应。惯用的 Clojure(与大多数函数式编程语言一样)在很大程度上基于函数组合(这意味着尽可能短的单任务函数)和变量的使用非常有限。如果您曾经使用过 *nix shell，这与命令管道/链接非常相​​似。

请注意，您还可以通过声明单个 Withdraw multimethod 来简化上述函数。 。如果您愿意，也可以使用 datatypes更严格地定义数据并使用 protocols为这些记录实现一个接口(interface)，这与您在 Java 中所做的更接近。你需要理解的要点是，Java 围绕类，而 Clojure 围绕函数和不可变数据，更多 pure功能越多越好。