Đánh giá một phần của Clojure cond

Question

Đang cố gắng để làm bài tập 1.16 (phiên bản lặp đi lặp lại của nhanh exp) trong "Cấu trúc và Giải thích chương trình máy tính" với Clojure tôi đến với điều này:

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

Đang cố gắng nó ra:

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

Có vẻ phần "lẻ" của biểu thức cond trả về hàm thay vì đánh giá. Tại sao? Tôi đã thử đặt dấu ngoặc đơn quanh các biểu thức sau các biến vị ngữ nhưng dường như cú pháp không chính xác, đây là cách tốt nhất mà tôi có thể đưa ra. Tôi đang sử dụng rev 1146 của Clojure.

Answer 1

Hãy thử điều này:

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

Tôi không có REPL tiện dụng nhưng là trông giống như những gì bạn muốn.

Answer 2

Về cơ bản, những gì bạn đã viết có thể được định dạng như:

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

Vì vậy:

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