Clojure 中的 DSL 取代了面向对象的软件解决方案？

Question

我想知道是否有人知道 Clojure 中 DSL 的具体示例，它取代了良好的 OO 程序（用 Java 编写）的抽象和可读性。

我一直在尝试将 OO 数据模型（基于“bean”，具有隐藏底层实现的非常抽象的方法）引入到 clojure 部分中。

我知道“宏”和“高阶函数”的存在，但是，我从未见过它们应用于易于理解的现实世界数据集（例如课程注册系统、汽车经销商或计费系统）系统或类似的东西，回想一下 Hibernate 和 Ibatis 在过去十年中普及的臭名昭著的“JPetStore”示例）。

是否存在特定于领域的模板来学习如何使用协议和高阶函数在 Clojure 中对现实世界系统进行建模？

Answer 1

DSL 没有特殊的模板 - 您只需使用语言中可用的工具并尝试使其尽可能方便且接近领域。 Lisp 只是为您提供了比其他语言更多的工具。

有关良好 DSL 的具体示例，请查看 ClojureQL。最初，SQL 是作为关系数据库的 DSL 创建的。从控制台工作非常方便……但不是从 Java 或 Clojure 等编程语言工作。 Java 附带了 Hibernate 等大型 ORM 框架，而 Clojure 提供了简单的 DSL，它与原始 SQL 一样方便，但完全作为语言的一部分工作：

(select (table :users) (where (= :id 5)))

Lisp DSL 中的常见之处是使用像 defsomething 这样的结构。例如，在一本书中（抱歉，我不记得它的名字）有一个文本中模式匹配的示例。作者创建了包含许多匹配器的模块，例如 ? 用于一个单词，+ 用于一个或多个单词，* 用于零个或多个单词等等在。为此，他创建了宏 defmatcher，该宏采用一些语法并将该语法的处理程序添加到中央注册表。这只是抽象 - 他没有引入多个重复操作，而是引入了单个宏来告诉他实际想要做什么 - 定义匹配器。此示例还同时使用宏和高阶函数。

因此，再一次强调，基于 Lisp 的 DSL 没有什么特别之处 - 您只需使用您语言中拥有的工具来描述领域区域，无论是 Java、Clojure 还是其他语言。只需使用语言设施，您就会看到它的样子。

UPD。一些“现实世界”的例子，其中基于 Lisp 的 DSL 比 OOP 更方便：

域：汽车迪勒船

(defcar my-cool-car :wheels 4, :doors 2, :color red) ;; in Java you need Factory
(def car1 (make-car my-cool-car))                    ;; and lots of methods to 
                                                     ;; add features to cars and 
                                                     ;; cars to factory

域：计费系统

(transaction                ;; in Java you cannot create wrapping constructs
  (withdraw account1 100)   ;; so you have to use inheritance, annotations, etc.
  (put account2 100))       ;; which is much more code

域：一些 Web 服务，处理多种类型的请求

(defhandler :show-all (fn [params] ...))     ;; adds defined function to the
(defhandler :find-best (fn [params] ...))    ;; map of :message-type -> function
...
(defn handle [message]
   (let [msg-type (:type message), msg-params (:params message)]
     (if (contains? *handlers* msg-type) 
       ((*handlers* msg-type) msg-params)
       (throw (Exception. (concat "No handler for type" (:type message)))))))

这些示例没有什么特别之处 - 您可以用 Java 或任何其他语言来实现它们。不过，诸如关键字（第一个示例）、高阶函数（第二个示例）、宏（所有 3 个示例）之类的内容使您的代码更加简洁和具有描述性。

Answer 2

我不知道这是否是您正在寻找的内容，但我读过一本关于 Clojure 的书（Clojure 编程；实用程序员），其中包含一个不错的小 DSL 示例。您可以在 https://github.com/stuarthalloway/lancet 找到代码。基本上，lancet 类似于 make 或 ant，但作为 Clojure-DSL 实现。

Answer 3

OOP 是好的，因为我们确实已经习惯了它，并且它映射到现实世界中的概念。

您可以在 The Joy of Clojure 第 9 章中了解如何使用映射和多方法构建 OOP 系统（类似于 JS 中的原型继承）。Paul

Graham 的 lisp 书展示了如何在 lisp 中创建对象系统。应该很容易使其适应 Clojure。

本书还广泛地解释了“自下而上”的编程，即构建小的基本块并将它们组合起来以构建更高级别的结构。

另外，如果您可以看到许多应用程序（例如 java pet store）中的主要概念是程序性/功能性；他们不广泛使用泛化或封装等对象概念。

Bean 没有任何行为。未封装的数据具有允许公共访问的 getter/setter。对于它提供的功能，您可以使用 C 结构体（类型化语言）或动态语言（如 Clojure）中的映射。

对它们起作用的服务基本上是函数。它们没有状态并从参数（bean）或数据库中获取数据。如果您确实需要接口，Clojure 中有协议。

那没那么复杂。

像在 JAVA 中一样命名您的 bean...但将它们实现为 Clojure 映射或记录

命名您的服务并将它们实现为函数。

需要工厂吗？创建接受配置和返回函数的函数。

需要依赖注入吗？那么你可以使用函数参数。