Clojure let 绑定表单

Question

我试图了解 let 绑定如何在地图方面以闭包方式工作。据我了解，let 后跟一个向量，其中第一项是我要绑定的符号，然后是我要绑定到的值。所以

(let [a 1 b 2] a) 

将给出 1 的值。

所以如果我声明地图如

(def people {:firstName "John" :lastName "Doe"})

我想绑定键 firstName 那么这将是简单“Hello Person”的正确形式

(let [personName (:firstName people)] (str "hello " personName))

这可行，但是在 Clojure 网站 http://clojure.org/special_forms#binding-forms 上，它们显示了另一种形式，也可以使用

(let [{personName :firstName} people] (str "hello " personName))

两个代码 sn-ps 都可以工作，我理解为什么第一个版本可以工作，但我对第二个版本的语法感到困惑。这只是语法糖还是重复的工作方式，并且比另一种更惯用？

Answer 1

最后一种形式是地图绑定解构。如果您想将多个变量绑定到同一张地图的不同元素，这是最有用的：

(let [{firstName :firstName lastName :lastName address :address} people]
    (str "hello " firstName " " lastName ", I see you live at " address))

如果你用前面的语法写出来，那就是：

(let [firstName (:firstName people) lastName (:lastName people) address (:address people)]
    (str "hello " firstName " " lastName ", I see you live at " address))

如您所见，这使您不必在每个绑定中重复 people。如果映射是计算的结果，它就不必将变量绑定到它，以便您可以重复它。

解构还允许您以类似于您正在访问的数据结构的格式布置绑定构造。这使得它更适合复杂的结构。

Answer 2

只是说清楚（我希望不要太迂腐）......

在

(let [personName (:firstName people)] (str "hello " personName))

您没有将密钥 :firstname 绑定到任何东西；您将标识符personName 绑定到关键字:firstname 作为函数 到映射people 的应用。

在

(let [{personName :firstName} people] (str "hello " personName))

您正在解构映射people，将标识符personName 绑定到它在键:firstname 处的值。

---

PS

这个奇迹是由let 表单调用的destructure 函数实现的。查看它的作用可能会有所帮助。例如，

(destructure '[{personName :firstName} people])
;[map__779
; people
; map__779
; (if
;  (clojure.core/seq? map__779)
;  (clojure.lang.PersistentHashMap/create (clojure.core/seq map__779))
;  map__779)
; personName
; (clojure.core/get map__779 :firstName)]

我接受了这个想法here。