我如何使用列表结果进行进一步计算

Question

作为一个轻率的新手，我遇到了一个普遍的问题：我想查询数据，生成数据的总和，并希望进一步计算结果。

例如，我总结33 77并想除以结果：

(defun sum (L)
  (reduce '+ L))
(/ 999 (sum '(33 77)))

没有分度，我会得到正确的总和。 当我尝试进一步时，出现错误，数值函数被赋予了参数。

类型查询(type-of '(sum '(33 77)))表示它是CONS

对结果进行进一步计算的正确处理方式是什么？

Answer 1

(type-of '(sum '(33 77)))

上面的评估首先包括评估'(sum '(33 77)) ，并用评估结果调用函数type-of 。

'(sum '(33 77))与(quote (sum (quote (33 77)))) ，不同之处在于撇号是一种读者语法' ，它将后面的x变成(quote x) 。

quote形式是自评估的，这意味着它求值的值就是此处引用的确切值(sum '(33 77)) 。

该值是表示代码的数据：它实际上是一个在读取时建立的列表，其中包含符号sum后跟另一个元素，该列表的第一个元素是quote ，然后是另一个包含33和77的立即数。

由于表达式的值是一个列表，并且由于列表是通过链接cons-cells构建的，因此type-of返回cons是正常的。

如果删除一级引号：

(type-of (sum '(33 77)))

然后， (sum '(33 77))的评估遵循函数调用的正常评估，方法是首先评估参数'(33 77) ，文字列表，然后调用sum 。 您的函数返回的总和为110，这是调用type-of时给出的值。 在这种情况下，您应该获取数字类型。