PROSAGA码农传奇-lisp-Lisp - 想要绑定一个非符号错误

<div class =“post-text”itemprop =“text”>
  
    的语法
    <a href="http://clhs.lisp.se/Body/m_defun.htm" rel="nofollow noreferrer">
       <code>
 DEFUN
 </code>
    </A>
     期待一个
    
      普通的lambda-list
    
    ，这是最基本的形式
    
      未评估
    
     变量名称列表。您的代码如下所示：
  
   <pre>
 <code>
 (defun one-instruction '(state:ACC acc :PC pc :MEM mem :IN in :OUT out :FLAG flag)
 ...)

</code>
 </pre>
  
    您有两个主要错误：
  
  <UL>
    <LI>
      你引用了这个清单
    </LI>
    <LI>
      你的lambda列表格式错误
    </LI>
  </UL>
  <BLOCKQUOTE>
    
      试图绑定非符号，（状态：ACC acc：PC pc：MEM mem：IN in：OUT out：FLAG flag）
    
  </BLOCKQUOTE>
  
    这个错误有点奇怪，但请记住
     <code>
 '(a b c)
 </code>
     代表
     <code>
 (quote (a b c))
 </code>
    ，在一个的背景下
     <code>
 defun
 </code>
     lambda-list被解析为一个两元素列表，
     <code>
 quote
 </code>
     和
     <code>
 (a b c)
 </code>
     名单。第二个列表不是符号，这是在您的情况下检测到格式错误的lambda列表的方式。
  
  
    该
     <code>
 :pc pc
 </code>
     语法用于传递关键字参数，而不是在函数中绑定它们。如果要正确定义函数，使用一个强制状态变量和关键字参数，则应编写：
  
   <pre>
 <code>
 (defun one-instruction (state &key acc pc mem in out flag)
 ...)

</code>
 </pre>
  
    你可以这样称呼它：
  
   <pre>
 <code>
 (one-instruction my-state :acc 0 :pc 0 :mem big-table ...)

</code>
 </pre>
  
    另外，你有：
  
   <pre>
 <code>
 ((setf (nth pc mem) istruzione) ...)

</code>
 </pre>
  
    这不是一个有效的表达式，表达式看起来像
     <code>
 (x ...)
 </code>
    ，与
     <code>
 x
 </code>
     是的
     <code>
 setf
 </code>
     表达;但
     <code>
 (x ...)
 </code>
     在正常的评估环境中意味着
    
      功能调用
    
    ，和
     <code>
 (setf ...)
 </code>
     没有功能。
  
  <HR />
  <BLOCKQUOTE>
    
      在：（setf（第n个pc内存）值）我想绑定（第n个pc内存）的结果，我是正确的它应该给我在“mem”列表中的值“pc” “，变量”值“
    
  </BLOCKQUOTE>
  
    你没有引入变量
     <code>
 setf
 </code>
    ，它只修改现有的绑定（更常见的是地方）。相反，你必须使用
    <a href="http://www.lispworks.com/documentation/HyperSpec/Body/s_let_l.htm" rel="nofollow noreferrer">
       <code>
 LET
 </code>
    </A>
    ：
  
   <pre>
 <code>
 (let ((instruction (nth n mem)))
 ...)

</code>
 </pre>
  
    内
     <code>
 ...
 </code>
    ，
     <code>
 instruction
 </code>
     与通过评估获得的价值相关联
     <code>
 (nth n mem)
 </code>
    。
  
  
    另请注意您的测试表达式
     <code>
 cond
 </code>
     表达式也是畸形的：
  
   <pre>
 <code>
 (0 < istruzione < 99)

</code>
 </pre>
  
    以上内容如下：
    
      使用参数＆lt;，istruzione，＆lt;调用函数0和99
    
    ;没有命名的功能
     <code>
 0
 </code>
    ，和
     <code>
 <
 </code>
     作为变量未绑定。你想要的是：
  
   <pre>
 <code>
 (< 0 istruzione 99)

</code>
 </pre>
  
    以上就是一个电话
    <a href="http://www.lispworks.com/documentation/lw71/CLHS/Body/f_eq_sle.htm" rel="nofollow noreferrer">
       <code>
 <
 </code>
    </A>
     具有多个参数，当根据所有值进行排序时，这是正确的
     <code>
 <
 </code>
    。
  
  
    另请注意，在下一个测试中，您有
     <code>
 100 < istruzione
 </code>
    ，这意味着99和100都是你的cond没有处理的角落情况（除非是故意的，在这种情况下它是罚款）。
  
</DIV>