在LISP中，“let”和“with”有什么区别？

Question

一个简单的例子来显示行动上的差异真的会有所帮助，因为对他们来说，它们看起来都是可以互换的？谢谢:)

Answer 1

在Common Lisp中，至少只能在loop宏的上下文中使用with。请参阅Common Lisp Hyperspec。

Answer 2

它们确实在功能上等同。

事实上，至少SBCL将宏中的with的任何使用扩展为封闭的LET表单。

运行以下：

(macroexpand '(loop with foo = 5 repeat 10 collect foo)) 

结果在下面的扩展：

(BLOCK NIL 
    (LET ((FOO 5)) 
    (LET ((#:LOOP-REPEAT-1681 (CEILING 10))) 
     (DECLARE (TYPE INTEGER #:LOOP-REPEAT-1681)) 
     (SB-LOOP::WITH-LOOP-LIST-COLLECTION-HEAD (#:LOOP-LIST-HEAD-1682 
               #:LOOP-LIST-TAIL-1683) 
     (SB-LOOP::LOOP-BODY NIL 
          ((IF (<= #:LOOP-REPEAT-1681 0) 
           (GO SB-LOOP::END-LOOP) 
           (DECF #:LOOP-REPEAT-1681))) 
          ((SB-LOOP::LOOP-COLLECT-RPLACD 
           (#:LOOP-LIST-HEAD-1682 #:LOOP-LIST-TAIL-1683) 
           (LIST FOO))) 
          ((IF (<= #:LOOP-REPEAT-1681 0) 
           (GO SB-LOOP::END-LOOP) 
           (DECF #:LOOP-REPEAT-1681))) 
          ((RETURN-FROM NIL 
           (SB-LOOP::LOOP-COLLECT-ANSWER 
           #:LOOP-LIST-HEAD-1682))))))))