Clojure cond 部分的评估答案

【问题标题】：Evaluation of part of Clojure condClojure cond 部分的评估
【发布时间】：2009-01-18 14:08:09
【问题描述】：

尝试用 Clojure 在“计算机程序的结构和解释”中做练习 1.16（fast-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 的 rev 1146。

【问题讨论】：

如果你想应用一个函数，那么它的左边可能必须有一个左括号。在你的最后一行中，fast-it-exp 之前没有(。而且不仅在最后一行……

标签： clojure functional-programming

【解决方案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，但它看起来像你想要的。

【讨论】：

什么鬼，我以为我已经尝试了所有可能的括号排列，但似乎我错过了正确的排列。那行得通，非常感谢菲利普。 :)
嗯。为什么要排列括号？如果你想在 Lisp 中调用一个函数，它必须是列表的第一个元素；这就是 Lisp 语法的工作原理。
在 Clojure 中，谓词后面的括号是可选的，就像上面的 (= exp 0) 示例一样。尝试过，但语法不明确。试过了，但我可能在 :else 周围有一个括号，这是不正确的。以为我也试过菲利普的版本，但一定做错了什么。
在 lisp 中添加或删除括号会改变含义。 “在 Clojure 中，谓词之后的括号是可选的，就像 (= exp 0) 之后一样。”不，没有括号，因为res 是想要的值。 (res) 也意味着调用 res 评估的函数，与 res 本身的值非常不同。

【解决方案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?!

【讨论】：

啊，我明白了，这解释了原始行为，谢谢。而且我现在已经设法正确地做数学了，呵呵。脸红