Clojure Koans 递归是偶数？

Question

我正在研究 Clojure Koans，并且正在研究递归 koans。

我不明白如何使用递归解决 is-even? 问题。该练习将该函数部分定义为：

(defn is-even? [n]
    (if (= n 0)
        true
        (__ (is-even? (dec n)))))

如果我不想使用递归，那么我会将其定义为 (defn is-even? [n] (= (mod n 2) 0)) 但是这违背了练习的目的。

Answer 1

就像 amalloy 说的，用“不”填空。但是，如果您假设参数只能为 0 或正数，则不需要另一个基本情况：dec 确保您始终以 0 结束，并且奇数返回 false，如下所示：

(is-even? 0) ==> base case (= 0 0) ==> true.
(is-even? 1) ==> (not (is-even? (dec 1))
             ==> (not (is-even? 0))
             ==> (not true)
             ==> false
(is-even? 2) ==> (not (is-even? 1))
             ==> (not false)
             ==> true

等等。

Answer 2

数字 n 是偶数，如果：

1. n 是 0
2. n-1 不是偶数

所以实际上，不 应该足以填补这个空白。最终你会在 (= 0 0) 周围得到 N 个 not，并且其中大多数都抵消了。

Answer 3

考虑每次递归递减 2。其余的应该是显而易见的：只有当函数以零结尾时，该数字才是偶数。

编辑：显然我错过了有关填写空白的备忘录。这是我想到的正整数的尾调用优化解决方案：

(defn is-even? [n]
    (if (<= n 1)
        (= n 0)
        (is-even? (- n 2))))