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应该用于查找顶级变量（即未绑定在程序中的变量）。

例如：

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

有关更多信息，请参阅下面文件中的注释，我在其中尝试解释名称空间和扩展之间的关系：

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

Answer 2

@soegaard的回答解决了当前的问题，但如果你想要一个全面的程序重新实现基元的扩展，你可以看看

https://github.com/samth/pycket/blob/master/pycket/pycket-lang/expand.rkt

阅读和扩展Racket源文件

2 个答案: