functional-programming - Racket 中的引用变量

Question

我正在尝试编写一个简单的程序来查找第 n 个素数，但我不认为我理解如何在 Racket 中正确引用变量。

我想要的是内部过程 sieve-iter 将素数添加到 primlst 列表中，该列表位于 sieve 的命名空间中，但是我得到一个无限循环。我的猜测是 sieve-iter 中的 primlst 导致了问题。

(define (sieve n) ;; returns the n:th prime (n>0) 
  (let [(primlst '(2))
        (cand 3)]
    (define (sieve-iter i lst)
      (cond ((null? lst) (and (cons i primlst) (sieve-iter (+ i 2) primlst))) ;;prime
            ((= (length primlst) n) (car primlst)) ;;end
            ((= (modulo i (car lst)) 0) (sieve-iter (+ i 2) primlst)) ;;non-prime
            (#t (sieve-iter n (cdr lst))))) ;;unclear if prime
  (sieve-iter cand primlst)))

感谢任何帮助!

Answer 1

首先，您根本不应该在 sieve-iter 函数中引用 primlist。相反，您应该引用 lst。

其次，您似乎误解了这个表达式的效果:

(and (cons i primlst) (sieve-iter (+ i 2) primlst))

您似乎将其解释为“将 i 添加到 primlist 中，然后开始下一次迭代。”

(cons i primlist) 没有任何改变。相反，它会创建一个由 primlist 和前面的 i 组成的新列表，然后计算该值。原始的 primlist(无论如何应该是 lst)保持不变。

此外，and 用于 bool 逻辑，而不是用于将命令串在一起。它分别计算其每个子表达式，直到找到计算结果为 #f 的子表达式，然后停止。

你应该用这个替换整个表达式:

(sieve-iter (+ i 2) (cons i lst))

...它将 cons 创建的新列表传递给下一次 sieve-iter 运行。