Warum kann ich + in clojure nicht binden?

Question

Kann jemand erklären, warum ich Liste aber nicht + wieder binden kann?

(binding [list vector] 
    (list 1 3)) 
(binding [list +] 
    (list 1 3)) 
(binding [+ list] 
    (+ 1 3)) 

Ich möchte Rebind +, also kann ich Teilbewertung tun.

Answer 1

In Clojure 1.1.0 mindestens, + mit zwei Argumente ist für die Leistung inline. Deine Bindung passiert zu spät. Mit mehr Argumenten funktioniert es anders.

Clojure 1.1.0-master-SNAPSHOT 
user=> (binding [+ -] (+ 1 2)) 
3 
user=> (binding [+ -] (+ 1 2 3)) 
-4 

Eine Abhilfe ist, einen eigenen Namensraum zu machen und clojure.core/+ mit Ihrer eigenen Funktion Schatten.

Beachten Sie, dass das Inlining im aktuellen Snapshot von Clojure 1.2.0 anscheinend noch aggressiver abläuft.

Clojure 1.2.0-master-SNAPSHOT 
user=> (binding [+ -] (+ 1 2)) 
3 
user=> (binding [+ -] (+ 1 2 3)) 
6 

Es kann sein, weiseste einen Funktionsnamen andere als + zu verwenden, z.B. add, um Verwirrung zu vermeiden.

Answer 2

Schnell Abhilfe: Verwenden Sie lassen statt Bindung und das wird gut für Sie arbeiten:

user=> (let [+ list] (+ 2 3)) 
(2 3) 

---

Eine kleine (unvollständige) in den Grund zu graben:

Nehmen ein Blick auf die Quelle für die + Funktion:

(defn + 
    "Returns the sum of nums. (+) returns 0." 
    {:inline (fn [x y] `(. clojure.lang.Numbers (add ~x ~y))) 
    :inline-arities #{2}} 
    ([] 0) 
    ([x] (cast Number x)) 
    ([x y] (. clojure.lang.Numbers (add x y))) 
    ([x y & more] 
    (reduce + (+ x y) more))) 

Beachten Sie, dass es mehrere Inline-Funktionsdefinitionen für unterschiedliche Anzahlen von Argumenten gibt. Wenn Sie versuchen, die 0 oder 1 arity Definitionen erneut zu binden, es funktioniert ganz gut:

user=> (binding [+ (fn [] "foo")] (+)) 
"foo" 
user=> (binding [+ (fn [a] (list a))] (+ 1)) 
(1) 

Nun, dies auf jeden Fall funktioniert nicht (wie Sie entdeckt) für den 2-Argument Fall. Ich verbinde die Punkte nicht ganz, aber die. (spezielles Formular) macht mich verdächtig kombiniert mit Bindung als Makro, während es eine spezielle Form ist ...

Die Metadaten, die besonders arity 2 aufrufen, erscheinen ebenfalls verdächtig.