ClojureでのLetとBindingの比較

Question

*compile-path*と *compile-path*の設定には違いがあることを理解しています。しかし、私は彼らがなぜ違うのかについて助けが必要です。

letは指定されたバインディングで新しいスコープを作成しますが、binding ...？

Answer 1

letは、いくつかの値のレキシカルスコープ不変のエイリアスを作成します。 bindingは、一部のVarの動的スコープ付きバインディングを作成します。

動的バインドとは、bindingフォーム内のコードとそのコードが（ローカルのレキシカルスコープにない場合でも）コードに新しいバインディングが表示されることを意味します。

は考える：それが動作するため

user> (binding [x 1] (var-get #'x)) 
1 
user> (let [x 1] (var-get #'x)) 
0 

bindingが（修飾名を使用することができます。

user> (def ^:dynamic x 0) 
#'user/x 

bindingは、実際にはローカル別名を持つVARをシャドウVarが、letのための動的結合を作成しますVar S）とletはできません：

user> (binding [user/x 1] (var-get #'x)) 
1 
user> (let [user/x 1] (var-get #'x)) 
; Evaluation aborted. 
;; Can't let qualified name: user/x 

let -introducedバインディングは変更可能ではありません。 binding -introducedバインディングは、スレッドローカルで変更可能です：動的結合対

user> (binding [x 1] (set! x 2) x) 
2 
user> (let [x 1] (set! x 2) x) 
; Evaluation aborted. 
;; Invalid assignment target 

字句：

user> (defn foo [] (println x)) 
#'user/foo 
user> (binding [x 1] (foo)) 
1 
nil 
user> (let [x 1] (foo)) 
0 
nil 

もVars、let参照してください。

Answer 2

bindingは、スレッドごとの地球環境

あなたが述べたように、letは言ったバインディングの新しいスコープを作成するには名前に値をバインドします。

Answer 3

結合対のletのためのもう一つの構文上の差異：それらのいずれかがVARSにバインドされる前に

を結合するためには、すべての初期値が評価されます。これは、後の定義で前の "エイリアス"の値を使用できるletとは異なります。

user=>(let [x 1 y (+ x 1)] (println y)) 
2 
nil 

user=>(def y 0) 
user=>(binding [x 1 y (+ x 1)] (println y)) 
1 
nil