Clojure的公案第8，＃5

Question

這是爲什麼有效：

(= '(:anything :goes :here) (filter (fn [x] true) '(:anything :goes :here))) 

，但不爲呢？

(= (:anything :goes :here) (filter (fn [x] true) '(:anything :goes :here))) 

或

(= (:anything :goes :here) (filter (fn [x] true) (:anything :goes :here))) 

甚至

(= '(:anything :goes :here) (filter (fn [x] true) (:anything :goes :here))) 

有什麼特別的原因，第二對Arg的過濾器是帶引號的列表，而不是一個簡單的列表？

user=> (filter (fn [x] true) (:abc :def :ghi)) 
IllegalArgumentException Don't know how to create ISeq from: clojure.lang.Keyword clojure.lang.RT.seqFrom (RT.java:505) 

事實上，我仍然不確定列表是否也是一個函數調用。這與引用它似乎有關。除非列表爲空，否則需要引用所有「普通列表」嗎？

Answer 1

評估列表時，第一個元素被假定爲一個函數（或宏或特殊形式）。

當列表的第一個元素是一個函數時，首先評估所有參數，然後將函數應用於結果值。

如果列表的第一個元素是宏或特殊形式，則根據宏/特殊形式可以評估或不評估每個參數。

Clojure將評估一個列表，其第一個元素是一個關鍵字，通過試圖找到該關鍵字作爲關鍵字函數的參數給定的關鍵字，然後返回相應的值，否則返回下一個參數（如果給定的話） 。因此(:anything :goes: :here)將返回here。

'是一個讀取宏，將其參數放入quote特殊形式。 I.e.'anything =>(quote anything)

在你的情況：

當=進行評價時，的(:anything :goes: here)和/或'(:anything goes here)值已進行評估。評估第一個將導致:here。 （在其他語言中會導致錯誤）。 '(:anything :goes :here)，不過是(quote (:anything :goes :here))縮寫形式，並quote是一種特殊形式，它返回它的參數未計算，導致列表(:anything :goes: here)，然後傳遞給=或filter沒有進一步的評估。

然後發生了什麼事在每個案件是：

(= '(:anything :goes :here) (filter (fn [x] true) '(:anything :goes :here))) 

=是比較(:anything :goes :here)到(:anything :goes :here)，導致真正的

(= (:anything :goes :here) (filter (fn [x] true) '(:anything :goes :here))) 

:here相比(:anything :goes :here)，造成假

(= (:anything :goes :here) (filter (fn [x] true) (:anything :goes :here))) 
(= '(:anything :goes :here) (filter (fn [x] true) (:anything :goes :here))) 

在這兩個中，filter應用於單個關鍵字:here，導致錯誤。