Взаимно рекурсивные определения в Clojure

Question

Как мне сделать взаимно рекурсивные определения в Clojure?

Вот код в Scala для поиска простых чисел, который использует рекурсивные определения:

val odds: Stream[Int] = cons(3, odds map { _ + 2 })
val primes: Stream[Int] = cons(2, odds filter isPrime)
def primeDivisors(n: Int) =
    primes takeWhile { _ <= Math.ceil(Math.sqrt(n))} filter { n % _ == 0 }
def isPrime(n: Int) = primeDivisors(n) isEmpty

primes take 10

Я перевел это на Clojure:

(def odds (iterate #(+ % 2) 3))
(def primes (cons 2 (filter is-prime odds)))
(defn prime-divisors [n]
    (filter #(zero? (mod n %)) 
        (take-while #(<= % (Math/ceil (Math/sqrt n))) 
            primes)))
(defn is-prime [n] (empty? (prime-divisors n)))

(take 10 primes)

Но запись определений в REPL Clojure по одному дает

java.lang.Exception: Unable to resolve symbol: is-prime in this context (NO_SOURCE_FILE:8)

после того, как я напишу (def primes (cons 2 (filter is-prime odds))).

Есть ли способ сделать взаимно рекурсивныйопределения в Clojure?

Answer 1

Вам необходимо (declare is-prime) до того, как вы в первый раз будете ссылаться на него.

Это называется "предварительным объявлением".

Answer 2

Грег ответил правильно.Однако вы должны изменить свой код: (def odds ...) (declare primes) (defn prime-divisors ...) (defn prime? ...) (def primes ...).Это должно сработать.

Проблема в том, что определение простых чисел не является функцией.Он выполняется немедленно и, следовательно, пытается разыменовать prime? Var, который еще не связан.Отсюда и исключение.Перестройка должна позаботиться об этом.

(Отказ от ответственности: я не проверял, что код работает с перестановкой.)

И я думаю, что prime? не работает.(prime? 2) должно дать false, нет?