lisp - 普通口齿不清 : Function returns function name

Question

我目前正在尝试解决来自 projecteuler.net 的问题 1。对该函数的评估仅返回函数的名称。我究竟做错了什么？

(defun nSum (n sum) 
(if ( n =  0) ( sum) ) 
(cond (  (mod n 5) =  0) ( nSum ( - n 1) (+ sum n)) (  (mod n 3) =  0) (nSum(- n 1) (+ sum n)) (nSum (- n  1) (+ sum n))  
 )
 )
(setq sum (nSum 100 0))
(write sum)

Answer 1

错误

Evaluation of this function only returns the name of the function.

我无法复制这个，你是如何测试你的代码的，在什么环境下？

使用 SBCL，这是评估 defun 表单打印的内容:

; in: DEFUN NSUM
;     (N = 0)
; 
; caught WARNING:
;   undefined variable: =

= 符号被用在被评估为变量的位置。如果你想调用=绑定(bind)的函数，即(function =)，也可以写成#'=，那么你必须写 (= ... ...)。

; caught STYLE-WARNING:
;   undefined function: N

由于您编写了 (N = 0)，即在正常评估规则下将 N 作为表单的第一个元素，因此代码会尝试调用函数 N。在你的情况下，你没有定义这样的功能。

;     (COND ((MOD N 5) = 0) (NSUM (- N 1) (+ SUM N)) ((MOD N 3) = 0)
;           (NSUM (- N 1) (+ SUM N)) (NSUM (- N 1) (+ SUM N)))
; --> IF 
; ==>
;   (IF NSUM
;       (PROGN (- N 1) (+ SUM N))
;       (IF (MOD N 3)
;           (PROGN = 0)
;           (IF NSUM
;               (PROGN (- N 1) (+ SUM N))
;               (IF NSUM
;                   (PROGN # #)
;                   NIL))))
; 
; caught WARNING:
;   undefined variable: NSUM

您正在编写 cond 子句，在这种情况下，每个子句应该是一个匹配 (test . body) 的列表，即 test 表达式后跟箱体(可能是空的)。你写道:

(cond (  (mod n 5) =  0) ( nSum ( - n 1) (+ sum n)) ...)

在上面，您有两个子句，一个(尝试)测试 N 是否可以被 5 整除，另一个测试 nSum 是否为真。

;     (SUM)
; 
; caught STYLE-WARNING:
;   undefined function: SUM

您在 SUM 周围添加了括号，这意味着您要调用函数 SUM(当前未定义)。括号在 Lisp 中很重要。

修复错误和格式化

这是在修正之前的错误并根据 Lisp 风格规则对其进行格式化后的代码:

(defun nSum (n sum) 
  (if (= n 0)
      sum
      (cond
        ((= 0 (mod n 5)) (nSum (- n 1) (+ sum n)))
        ((= 0 (mod n 3)) (nSum (- n 1) (+ sum n)))
        (t (nSum (- n 1) (+ sum n))))))

您的代码未计算出所需的函数。请阅读Gwang-Jin Kim's answer了解如何以尾递归方式计算它，或在下面了解基于循环的方式。

一些额外的评论 w.r.t.风格:

• 你不应该在 Lisp 中使用 snakeCase，而是使用破折号来分隔单词，谦虚地称为 lisp-case(显然，也称为 kebab-case).

• 您的if 和cond 可以合并在一起。另外，请注意负数 N。

• 当两个测试导致执行相同的代码时，您可以执行 (或 test1 test2)。这避免了代码重复。

替代实现

使用LOOP :

(defun euler-1 (n)
  (loop
    for i below n
    when (or (zerop (mod i 3))
             (zerop (mod i 5)))
      sum i))