对 Clojure 中的“let”感到困惑

Question

我刚开始玩 Clojure，我写了一个小脚本来帮助我理解一些功能。开头是这样的：

(def *exprs-to-test* [  
    "(filter #(< % 3) '(1 2 3 4 3 2 1))"
    "(remove #(< % 3) '(1 2 3 4 3 2 1))"
    "(distinct '(1 2 3 4 3 2 1))"
])

然后它通过*exprs-to-test*，评估它们，并像这样打印输出：

(doseq [exstr *exprs-to-test*]
    (do 
        (println "===" (first (read-string exstr)) "=========================")
        (println "Code: " exstr)
        (println "Eval: " (eval (read-string exstr)))
    )
)

以上代码一切正常。但是，(read-string exstr) 是重复的，所以我尝试使用 let 来消除重复，如下所示：

(doseq [exstr *exprs-to-test*]
    (let [ex (read-string exstr)] (
        (do 
            (println "===" (first ex) "=========================")
            (println "Code: " exstr)
            (println "Eval: " (eval ex))
        )
    ))
)

但这对*exprs-to-test* 中的第一个项目有效，然后以NullPointerException 崩溃。为什么添加let 会导致崩溃？

Answer 1

do 表单周围有一组额外的括号。您的代码正在这样做：

((do ...))

它试图执行（作为函数调用）整个do 表单的值，但do 返回nil，因为do 表单中的最后一个println 返回nil。

请注意，您的缩进样式是非标准的。您不应该将结束括号放在自己的行上。而let 有一个隐含的do，所以你不需要在那里。试试这个：

user> (doseq [exstr *exprs-to-test*]
        (let [ex (read-string exstr)] 
          (println "===" (first ex) "=========================")
          (println "Code: " exstr)
          (println "Eval: " (eval ex))))
=== filter =========================
Code:  (filter #(< % 3) '(1 2 3 4 3 2 1))
Eval:  (1 2 2 1)
=== remove =========================
Code:  (remove #(< % 3) '(1 2 3 4 3 2 1))
Eval:  (3 4 3)
=== distinct =========================
Code:  (distinct '(1 2 3 4 3 2 1))
Eval:  (1 2 3 4)

Answer 2

Brian 已经回答了你的问题，所以我只想为你提供一些关于 let-form 的一般指示：

• Special forms（请参阅 let 部分）
• Bindings

Answer 3

我认为其他答案忽略了房间里的大象：你为什么要这样做？你的代码中有很多东西让我担心你通过学习 Clojure 走错了路：

• 使用全局绑定 (exprs-to-test)
• 使用doseq/println依次尝试代码
• 使用评估

学习 Clojure API 的最佳方式是通过 REPL。您应该设置好您的环境，无论是 Vim、Emacs 还是 IDE，以便您可以轻松地在文本文件中的静态代码和交互式 REPL 之间来回移动。 Here is a good breakdown of a number of Clojure IDEs.

现在，就您的代码而言，有几点需要记住。首先，几乎没有使用 eval 的充分理由。如果你发现自己这样做了，问问自己是否真的有必要。其次，请记住，Clojure 是一种函数式语言，通常您不需要使用“do”宏集。当您需要产生副作用时，“do”宏很有用（在您的示例中，副作用是 println 到 *out*） 最后，还应避免使用全局变量。如果确实需要使用 var，则应考虑使用绑定宏将线程本地的 var 绑定到不可变值，这样就不会出现并发问题。

我绝对建议您花时间学习 Clojure 编程或其他更深入的 LISP 参考资料，以真正了解您对编程方式的必要转变，以有效利用 Clojure。您在这里的小示例让我感觉好像您正在尝试在 Clojure 中编写命令式代码，这根本不会很好地工作。