module - lambda 表达式内部和外部的 let 之间的区别

Question

考虑一个具有以下过程的模块:

(define-module (test test)
  #:export     (proc1 proc2 proc3))

(define proc1
  (let ((module (current-module)))
    (lambda ()
      (format #t "~s\n" module))))

(define proc2
  (lambda ()
    (let ((module (current-module)))
      (format #t "~s\n" module))))

(define (proc3)
  (let ((module (current-module)))
    (format #t "~s\n" module)))

我的印象是所有这些都是等价的，但事实并非如此。

scheme@(guile-user)> (use-modules (test test))
scheme@(guile-user)> (proc1)
#<directory (test test) 562a062152d0>
$1 = #t
scheme@(guile-user)> (proc2)
#<directory (guile-user) 562a05b8bbd0>
$2 = #t
scheme@(guile-user)> (proc3)
#<directory (guile-user) 562a05b8bbd0>
$3 = #t

仅在 proc1 中，lambda 表达式内的 module 符号才会绑定(bind)到定义过程的模块。

有人能解释一下吗？这是否意味着如果我想创建一个闭包，我总是必须使用第一种形式？

Answer 1

proc1 仅在定义过程时对 (current-module) 求值一次，因此 lambda 内的 module 绑定(bind)到该值在定义时。

proc2 在调用该过程之前不会评估 (current-module)。
它还每次都会对其进行评估。
它相当于proc3。