common-lisp - 根据循环中的输出创建一个列表

Question

我们的任务是以这种方式打印出帕斯卡三角形中的值

(pascal 2)
(1 2 1)
(pascal 0)
(1)

我在互联网上的某个地方复制了二项式定理的代码，定义如下:

(defun choose(n k)
        (labels ((prod-enum (s e)
            (do ((i s (1+ i)) (r 1 (* i r))) ((> i e) r)))
          (fact (n) (prod-enum 1 n)))
         (/ (prod-enum (- (1+ n) k) n) (fact k))))

现在我尝试在我的 pascal 函数中创建一个值列表:

(defun pascal (start end) 
  (do ((i start (+ i 1)))
       ((> i end) )
       (print (choose end i) ))
)

如果我用 (pascal 0 2) 测试该函数，它会生成 1 2 1 NIL。如何消除 NIL 并创建列表？

Answer 1

注意:我明确没有提供 pascal 的实现，因为介绍性的“我们的任务是……”表明这是一项家庭作业。

不必在每次迭代时打印 (choose end i) 的结果，只需将 (choose end i) 生成的值收集到结果列表中，然后然后在循环结束时返回结果。通过将元素插入其中，然后使用 nreverse 反转它以产生最终的返回值，以相反的顺序构建列表是一种常见的习惯用法。例如，您可以通过以下方式实现range:

(defun range (start end &optional (delta 1) &aux (results '()))
  (do ((i start (+ i delta)))
      ((>= i end) (nreverse results))
    (push i results)))

或(编写一个不需要主体中任何代码的 do/do* 循环总是让人感到满意。)

(defun range (start end &optional (delta 1))
  (do* ((results '() (list* i results))
        (i start (+ i delta)))
       ((>= i end) (nreverse results))))

这样

(range 0 10 3)
;=> (0 3 6 9)

但是，由于帕斯卡三角形中的行是回文，因此不需要反转它们。实际上，由于行是回文，您甚至应该能够调整循环以生成列表返回的一半，例如，

(revappend results results)

当元素数量为偶数时，并且

(revappend results (rest results))

当有奇数时。