évaluation d'une partie de Clojure cond

Question

Essayer de faire de l'exercice 1,16 (version itérative de-exp rapide) dans « Structure et interprétation des programmes informatiques » avec Clojure je suis venu avec ceci:

(defn fast-it-exp [base exp res] 
    (cond (= exp 0) res 
    (odd? exp) fast-it-exp base (- exp 1) (* base res) 
    :else fast-it-exp base (/ exp 2) (* base base res))) 

l'essayer:

user=> (fast-it-exp 0 0 10) 
10 ;yep 
user=> (fast-it-exp 2 2 2) 
1  ;no... 
user=> (fast-it-exp 1 1 1) 
#<user$fast_it_exp__59 user$fast_it_exp__59@138c63> ;huh?! 

Semble que la partie "impaire" de l'expression cond renvoie une fonction au lieu de l'évaluer. Pourquoi? J'ai essayé de mettre des parenthèses autour des expressions après les prédicats mais cela semble être une syntaxe incorrecte, c'est le meilleur que j'ai pu trouver. J'utilise la version 1146 de Clojure.

Answer 1

Essayez ceci:

(defn fast-it-exp [base exp res] 
    (cond (= exp 0) res 
     (odd? exp) (fast-it-exp base (- exp 1) (* base res)) 
     :else (fast-it-exp base (/ exp 2) (* base base res)))) 

Je n'ai pas REPL à portée de main, mais est ressemble à ce que vous voulez.

Answer 2

Fondamentalement, ce que vous avez écrit pourrait être reformaté comme:

(defn fast-it-exp [base exp res] 
    (cond 
    (= exp 0) res 
    (odd? exp) fast-it-exp 
    base (- exp 1) 
    (* base res) :else 
    fast-it-exp base 
    (/ exp 2) (* base base res))) 

Alors:

user=> (fast-it-exp 0 0 10) ; (= exp 0) => res 
10 ;yep 
user=> (fast-it-exp 2 2 2) ; base => (- exp 1) 
1  ;no... 
user=> (fast-it-exp 1 1 1) ; (odd? exp) => fast-it-exp 
#<user$fast_it_exp__59 user$fast_it_exp__59@138c63> ;huh?!