Clojure: В чем смысл `и ~ @?

Question

Я работаю через problems at 4Clojure.

У меня есть рабочий раствор для Tic-Tac-Toe exercise, но я не могу понять Darren's решение:

(fn [b] 
    (some (fn [p] (first (keep #(if (apply = p %) p) 
         `(~@b     ; <- What is that ` and ~@? 
          ~@(apply map list b) ; 
          ~(map get b [0 1 2]) 
          ~(map get b [2 1 0]))))) 
    [:x :o])) 
;b is a two-dimensional vector 

Что такое значение 'и ~ @?

Answer 1

`это синтаксическая цитата, которая используется для написания кода как данных без его оценки. Обратите внимание, что это достаточно умно для разрешения символов, которые представляют функции в правильное пространство имен.

Примеры:

`(+ 1 2) 
=> (clojure.core/+ 1 2) ; a list containing the + function and two arguments 

(eval `(+ 1 2)) 
=> 3      ; the result of evaluating the list 

~ @ является оператором Unquote сплайсинга, что позволит вам расширить список элементов в некоторых цитируемых данных/коде.

Примеры:

(def args [3 4 5 6]) 

`(+ 1 2 ~@args 7 8) 
=> (clojure.core/+ 1 2 3 4 5 6 7 8) 

`(+ ~@(range 10)) 
=> (clojure.core/+ 0 1 2 3 4 5 6 7 8 9) 

Более подробно оба этих и связанных с ними операций могут быть найдены в рамках documentation for the Clojure reader.

Answer 2

См. Раздел «Синтаксис-цитата» с маркером и примеры в documentation on the reader.

Answer 3

Несмотря на то, что Common Lisp, а не Clojure, глава о макросах в Practical Common Lisp имеет некоторые хорошие примеры, которые транслируют хорошо:

http://www.gigamonkeys.com/book/macros-defining-your-own.html