let* 和 set 之间的区别？在 Common Lisp 中

我正在从事一个基因编程爱好项目。

我有一个函数/宏设置，当以 setq/setf 形式评估时，将生成一个如下所示的列表。

(setq trees (make-trees 2)) 
==> (+ x (abs x))

然后它将绑定到 lambda 函数#<FUNCTION :LAMBDA (X) ... >通过战略性地使用函数/宏

但是，我希望比手动分配变量更有效，所以我写了这样的内容：

(setq sample 
      (let* ((trees (make-trees 2))
         (tree-bindings (bind-trees trees))
         (evaluated-trees (eval-fitness tree-bindings))))
      (list (trees tree-bindings evaluated-trees)))

但是，我得到EVAL: trees has no value当我把它放在 let 表单中时。我的怀疑是，与 SETF 相比，LET 中的宏扩展没有得到充分执行，但这对我来说没有意义。

造成这个问题的原因是什么？

--- 编辑：拉出我的代码并将整个文件放入粘贴箱中 ---

假设我决定 setq 不会为我做这件事，并且我编写了一个简单的函数来完成它：

(defun 生成样本 () (让 ((twiggs (make-trees 2))) （让（（树绑定（绑定树twiggs））） （让（（评估树（评估健身树绑定）））
（列出 twiggs 树绑定评估树）））））

这会产生大量...帮助文件错误消息（??！？）...和“eval：变量 twiggs 没有值”，这源于 SLIME 检查上的绑定树定义。

我相当确定我已经完全清理了我的宏。http://pastebin.org/673619 http://pastebin.org/673619

(Setq make-trees 2)设置变量的值make-trees为 2，然后返回 2。

在你所描述的内容中我没有看到宏的原因。你的情况是真的吗make-trees创建一个随机树，它可以被解释为一个程序？只需将其定义为一个函数即可defun。我在想这样的事情：

(defun make-tree (node-number)
  (if (= node-number 1)
      (make-leaf)
      (cons (get-random-operator)
            (mapcar #'make-tree
                    (random-partition (- node-number 1)))))) 

Let and setq做完全不同的事情。Setq为现有变量赋值，而let创建一个带有多个词法绑定的新词法作用域。

我认为你应该展示更多你的代码；目前，你的问题没有多大意义。

Update:

我将修复您的代码片段的缩进以使事情更清晰：

(setq sample 
      (let* ((trees (make-trees 2))
             (tree-bindings (bind-trees trees))
             (evaluated-trees (eval-fitness tree-bindings))))
      (list (trees tree-bindings evaluated-trees)))

现在，正如之前所写，let*建立词汇绑定。这些 仅在其主体范围内：

(setq sample 
      (let* ((trees (make-trees 2))
             (tree-bindings (bind-trees trees))
             (evaluated-trees (eval-fitness tree-bindings)))
        ;; here trees, tree-bindings, and evaluated-trees are bound
        ) ; end of let* body
      ;; here trees, tree-bindings, and evaluated trees are not in scope anymore
      (list (trees tree-bindings evaluated-trees)))

最后一行也是虚假的。如果这些名字被绑定的话 返回一个包含一个元素的列表，这将是评估的结果 功能trees with tree-bindings and evaluated-trees作为 论据。

你可能会得到你想要的东西，如下所示：

(setq sample 
      (let* ((trees (make-trees 2))
             (tree-bindings (bind-trees trees))
             (evaluated-trees (eval-fitness tree-bindings)))
        (list trees tree-bindings evaluated-trees)))

另一个更新：

宏的目的是在函数无法消除重复代码时消除重复代码。一种常见的应用是在处理位置时，您还需要它们来定义新的控制结构。只要您没有发现某些东西不能作为函数工作，就不要对其使用宏。

以下是一些可能对您有帮助的代码：

(defun make-tree-lambda (depth)
  (list 'lambda '(x)
        (new-tree depth)))

(defun make-tree-function (lambda-tree)
  (eval lambda-tree))

(defun eval-fitness (lambda-form-list input-output-list)
  "Determines how well the lambda forms approach the wanted function
by comparing their output with the wanted output in the supplied test
cases.  Returns a list of mean quadratic error sums."
  (mapcar (lambda (lambda-form)
            (let* ((actual-results (mapcar (make-tree-function lambda-form)
                                           (mapcar #'first input-output-list)))
                   (differences (mapcar #'-
                                        actual-results
                                        (mapcar #'second input-output-list)))
                   (squared-differences (mapcar #'square
                                                differences)))
              (/ (reduce #'+ squared-differences)
                 (length squared-differences))))
          lambda-form-list))

(defun tree-fitness (tree-list input-output-list)
  "Creates a list of lists, each inner list is (tree fitness). Input
is a list of trees, and a list of test cases."
  (mapcar (lambda (tree fitness)
            (list tree fitness))
          tree-list
          (eval-fitness (mapcar #'make-tree-lambda tree-list)
                        input-output-list)))