racket - 读取并扩展 Racket 源文件

Question

我需要读取一个 Racket 源文件并通过宏扩展来运行它。我有一个简单的测试文件，Racket 本身很乐意接受:

C:\ayane>type factorial.rkt
#lang racket
(provide factorial)

(define (factorial n)
 (if (<= n 1)
  1
  (* n (factorial (sub1 n)))))

现在我从 REPL 尝试:

C:\ayane>racket
Welcome to Racket v6.5.
> (read-accept-reader #t)
> (expand (with-input-from-file "factorial.rkt" (lambda () (read-syntax "factorial.rkt"))))
#<syntax::1 (module factorial racket (#%m...>

到目前为止一切顺利。现在来自测试程序的同样的事情:

C:\ayane>type test.rkt
#lang racket
(read-accept-reader #t)
(expand (with-input-from-file "factorial.rkt"
                              (lambda ()
                               (read-syntax "factorial.rkt"))))

C:\ayane>racket test.rkt
factorial.rkt::1: module: unbound identifier;
 also, no #%app syntax transformer is bound
  at: module
  in: (module factorial racket (#%module-begin (provide factorial) (define (factorial n) (if (<= n 1) 1 (* n (factorial (sub1 n)))))))
  context...:
   C:\ayane\test.rkt: [running body]

所以看起来相同的代码可以交互工作，但不能在程序中工作。我错过了什么？

Answer 1

您需要指定 expand 应该使用哪个命名空间来查找顶级变量(即未在程序中绑定(bind)的变量)。

例如:

 (parameterize ([current-namespace (make-base-namespace)])
     (expand ...))

有关详细信息，请参阅下面文件中的注释，其中我尝试解释命名空间和展开之间的关系:

https://github.com/soegaard/meta/blob/master/runtime/racket-eval.rkt#L122