評價

Question

試圖用Clojure的「計算機程序的結構與解釋：」做運動1.16（快速EXP的迭代版本），我想出了這一點：

(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))) 

想出來：

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?! 

似乎cond表達式的「奇怪」部分返回一個函數，而不是評估。爲什麼？ 我試過在謂詞後面放置括號，但這似乎是不正確的語法，這是我已經能夠想出最好的。 我正在使用Clojure的1146版。

Answer 1

試試這個：

(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)))) 

我沒有REPL方便，但看起來像你想要什麼。

Answer 2

基本上，你寫的可以被重新格式化爲：

(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))) 

所以：

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?!