PROSAGA码农传奇-lisp-Lisp中的错误：LET绑定规范格式错误

<div class =“post-text”itemprop =“text”>
  
    根据
    <a href="http://www.lispworks.com/documentation/lw50/CLHS/Body/s_let_l.htm" rel="noreferrer">
      CLHS
    </A>
     一个
     <code>
 let
 </code>
     具有以下结构：
  
   <pre>
 <code>
 (let (var (var2 expression))
 body ...)

</code>
 </pre>
  
    这里第一个绑定没有值，但它与写入相同：
  
   <pre>
 <code>
 (let ((var nil) (var2 expression))
 body ...)

</code>
 </pre>
  
    您的绑定看起来像这样：
  
   <pre>
 <code>
 (let (col ; col initialized to nil OK
 (aref array line)) ; variable aref initialized to?
 ...)

</code>
 </pre>
  
    你的变量
     <code>
 aref
 </code>
     应该只有一个表达式。事实上，你似乎缺乏一套parentesis使它看起来有点像Clojure。也许应该是：
  
   <pre>
 <code>
 (let ((col (aref array line)))
 ...)

</code>
 </pre>
  
    我也注意到你有一个
     <code>
 (
 </code>
     在同一条线上，好像你在做一个块。从那以后就行不通了
     <code>
 ((if ....))
 </code>
     是无效的Common Lisp代码。您会得到运算符应该是命名函数或lambda的错误。
     <code>
 let
 </code>
     是一个块，所以开始
     <code>
 (let ...)
 </code>
     制作一个块，这样你就可以在没有额外括号的情况下拥有多个表达式。
  
</DIV>

<div class =“post-text”itemprop =“text”>
  
    首先，非常重要：使用自动缩进。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let (col (aref array line)) (
 (if (= col -1) (return-from diagonal? t))
 (let (diag (= (abs (- x line)) (abs (- y col)))) (
 if (= diag T) (return-from diagonal? NIL))
 )
 )))
 return T
 )

</code>
 </pre>
  
    然后你的代码用长行看起来很奇怪：永远不要把括号放在他们自己的行上，永远不要用开括号结束一行。
  
  
    改进：
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let (col (aref array line))
 ((if (= col -1)
 (return-from diagonal? t))
 (let (diag (= (abs (- x line))
 (abs (- y col))))
 (if (= diag T)
 (return-from diagonal? NIL))))))
 return T)

</code>
 </pre>
  
    第二：
     <code>
 LET
 </code>
     需要一个绑定列表。单个绑定是变量或
     <code>
 (variable value)
 </code>
    ：
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let ((col (aref array line)))
 ((if (= col -1)
 (return-from diagonal? t))
 (let ((diag (= (abs (- x line))
 (abs (- y col)))))
 (if (= diag T)
 (return-from diagonal? NIL))))))
 return T)

</code>
 </pre>
  
    第三：LET希望有一个Lisp体。这是零个或多个Lisp形式：
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let ((col (aref array line)))
 (if (= col -1)
 (return-from diagonal? t))
 (let ((diag (= (abs (- x line))
 (abs (- y col)))))
 (if (= diag T)
 (return-from diagonal? NIL)))))
 return T)

</code>
 </pre>
  
    第四：
     <code>
 =
 </code>
     期望数字作为参数。
     <code>
 T
 </code>
     不是一个数字。
     <code>
 =
 </code>
     已经回来了
     <code>
 T
 </code>
     要么
     <code>
 NIL
 </code>
     我们可以测试。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let ((col (aref array line)))
 (if (= col -1)
 (return-from diagonal? t))
 (if (= (abs (- x line))
 (abs (- y col)))
 (return-from diagonal? NIL))))
 return T)

</code>
 </pre>
  
    第五：
     <code>
 return T
 </code>
     不是一个有效的Lisp表单。我们可以回来
     <code>
 T
 </code>
     直。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19 do
 (let ((col (aref array line)))
 (if (= col -1)
 (return-from diagonal? t))
 (if (= (abs (- x line))
 (abs (- y col)))
 (return-from diagonal? NIL))))
 T)

</code>
 </pre>
  
    第六：我们不需要
     <code>
 LET
 </code>
     对于
     <code>
 col
 </code>
    ，我们可以用另一个替换它
     <code>
 FOR
 </code>
     在里面
     <code>
 LOOP
 </code>
    。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19
 for col = (aref array line)
 do
 (if (= col -1)
 (return-from diagonal? t))
 (if (= (abs (- x line))
 (abs (- y col)))
 (return-from diagonal? NIL))))
 T)

</code>
 </pre>
  
    第七：多重
     <code>
 IF
 </code>
     可以写成一个单一的
     <code>
 COND
 </code>
    。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line from 0 to 19
 for col = (aref array line)
 do (cond ((= col -1)
 (return-from diagonal? t))
 ((= (abs (- x line))
 (abs (- y col)))
 (return-from diagonal? nil))))
 t)

</code>
 </pre>
  
    第八位：
     <code>
 for from 0 to n
 </code>
     可以替换为
     <code>
 below (+ n 1)
 </code>
     要么
     <code>
 upto n
 </code>
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line below 20
 for col = (aref array line)
 do (cond ((= col -1)
 (return-from diagonal? t))
 ((= (abs (- x line))
 (abs (- y col)))
 (return-from diagonal? nil))))
 t)

</code>
 </pre>
  
    第九：从那以后
     <code>
 (RETURN-FROM ... T)
 </code>
     从返回的函数返回
     <code>
 T
 </code>
     默认情况下，我们可以用一个替换它
     <code>
 UNTIL
 </code>
     循环中的子句：
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line below 20
 for col = (aref array line)
 until (= col -1)
 when (= (abs (- x line))
 (abs (- y col)))
 do (return-from diagonal? nil))
 t)

</code>
 </pre>
  
    第十：因为col只是迭代数组的值：
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line below 20
 for col across array
 until (= col -1)
 when (= (abs (- x line))
 (abs (- y col)))
 do (return-from diagonal? nil))
 t)

</code>
 </pre>
  
    第十一：@Coredump的建议，使用
     <code>
 NEVER
 </code>
    。默认返回值
     <code>
 LOOP
 </code>
     就是现在
     <code>
 T
 </code>
    。那时才回来
     <code>
 nil
 </code>
    ， 当。。。的时候
     <code>
 never
 </code>
     条款失败。
  
   <pre>
 <code>
 (defun diagonal? (x y array)
 (loop for line below 20
 for col across array
 until (= col -1)
 never (= (abs (- x line))
 (abs (- y col)))))

</code>
 </pre>
</DIV>