Clojureの〜や〜の目的は何ですか？

Question

私はClojureのマクロについて学んでいますし、コード例は時々構造'~symbolまたは交互~'symbolを持つことになります。 (quoteと'は、フォームが評価されるのを防ぎ、バッククォートは名前空間の修飾を追加し、〜は引用されたフォームを評価させることを知っています。私の質問は次のとおりです。評価をやめ始めるのはなぜ有用なのですか？私はまた、~'symbolと'~symbolが異なると仮定しますが、どうですか？

Answer 1

~'symbolは、未修飾シンボルを生成するために使用されます。 Clojureのマクロはデフォルトで名前空間を取得するため、マクロ内のシンボルは通常(your-namespace/symbol)に解決されます。引用符で囲まれたシンボルを評価することにより、引用符で囲まれていないイディオムは、単純に非修飾シンボル名-という単純な結果になります。 Clojureの喜びから：

(defmacro awhen [expr & body] 
    `(let [~'it ~expr] ; refer to the expression as "it" inside the body 
    (when ~'it 
     (do ~@body)))) 

(awhen [:a :b :c] (second it)) ; :b 

'~symbolはおそらくマクロまたは類似した何かに名前を挿入するために使用されます。ここでは、symbolは値-let [symbol 'my-symbol]にバインドされます。この値は、symbolを評価してマクロが生成するコードに挿入されます。

Answer 2

~はunquote機能用リーダマクロあります。引用されたリストの中には、シンボルは、その後、むしろ、評価リテラルシンボルとして使用されます

user> (def unquoted 4) 
user>`(this is an ~unquoted list) 
(user/this user/is user/an 4 clojure.core/list) 
user> 

ちょうどこの4のその値に解決された引用符で囲まれていないシンボルとして使用された引用符で囲まれていないシンボルを除くすべてがで最もマクロを書く際によく使われる。 replは、結果リストを出力しているときに名前の前にある名前空間（ユーザー）を表示します。

多くのマクロは、基本的には関数内で行うことができない何かのわずかな変化の束を行うように設計テンプレートです。この考案された例では、テンプレートマクロはdefへの呼び出しを生成することによって関数を定義します。

user> (defmacro def-map-reducer [name mapper reducer] 
     `(defn ~name [& args#] 
       (reduce ~reducer (map ~mapper args#)))) 

#'user/def-map-reducer 
user> (def-map-reducer add-incs inc +) 
#'user/add-incs 
user> (add-incs 1 2 3 4 5) 
20 

比較に：私はしていないよので、私はまた、自動gensyms機能を使用していない第二の例では

user> (defmacro def-map-reducer [name mapper reducer] 
      (let [args-name (gensym)] 
       (list `defn name [`& args-name] 
        (list `reduce reducer (list `map mapper args-name))))) 

#'user/def-map-reducer 
user> (def-map-reducer add-decs dec +) 
#'user/add-decs 
user> (add-decs 1 2 3 4 5) 
10 
user> 

unquotingと構文引用符がはるかに簡単にこれを読んですることができます文言引用