prog 与 let in LISP 性能差异

prog vs. let in LISP performance difference

有人告诉我,在 lisp 中,letprog 快(但 prog 有更多的灵活性),当变量作用域。我的问题是:为什么?我的意思是,有些时候使用 prog 更容易,但是,除了经验测试,我不知道如何猜测效果。是分配内存的时候吗?是执行吗?循环的时候会不会来得更多?我不知道实施差异的细节。

Lisp

prog 的描述说:

prog can be explained in terms of block, let, and tagbody as follows:

(prog variable-list declaration . body)
==  (block nil (let variable-list declaration (tagbody . body)))

换句话说,从功能上讲,proglet(除了一个小插图:前者 returns nil 而后者 returns 最后形式的 value(s)

众所周知“足够聪明 编译器" - 事实上, 任何 现代 Lisp 编译器 - 可以检测到 returngo 没有使用和编译 prog 等价于 let:

(disassemble '(lambda () (let ((a 1) (b 2)) (print (+ a b)) nil)))

(disassemble '(lambda () (prog ((a 1) (b 2)) (print (+ a b)))))

产生相同的输出:

Disassembly of function :LAMBDA
(CONST 0) = 1
(CONST 1) = 2
0 required arguments
0 optional arguments
No rest parameter
No keyword parameters
7 byte-code instructions:
0     (CONST&PUSH 0)                      ; 1
1     (CONST&PUSH 1)                      ; 2
2     (CALLSR&PUSH 2 55)                  ; +
5     (PUSH-UNBOUND 1)
7     (CALLS1 142)                        ; PRINT
9     (NIL)
10    (SKIP&RET 1)
NIL

Cadence SKILL++

你可能想问问实现者。