如何避免球拍中的加载循环？

Question

我有一组非常简单的.rkt 来源，比如“a.rkt”和“b.rkt”。我希望能够在“b.rkt”中写(require "a.rkt")，反之亦然。现在我面临关于“加载周期”的错误。

我可以在不添加单元的情况下使用裸模块解决这个问题吗？球拍是否有任何类似于前向声明的东西，所以我可以简单地添加缺少的签名而不是要求？如果两个答案都是“否”，是否有人知道如何使用 typed/racket 实现单元的良好且易于理解的教程（除了官方文档）？

Answer 1

你可以使用lazy-require:

;; a.rkt
#lang racket
(require racket/lazy-require)
(lazy-require ["b.rkt" (b)])
(provide a)
(define (a) 'a)
(list (a) (b))

;; b.rkt
#lang racket
(require racket/lazy-require)
(lazy-require ["a.rkt" (a)])
(provide b)
(define (b) 'b)
(list (a) (b))

请注意，您必须告诉lazy-require 您要导入的具体内容。那是因为它是根据dynamic-require 加上set! 来实现的。

如果您查看source for xrepl，您会看到它定义了一个defautoload 宏，它（以一些不适用的细节为模）很简单：

(define-syntax-rule (defautoload libspec id ...)
  (begin
    (define id
      (make-keyword-procedure
       (λ (kws kw-args . args)
         (set! id (dynamic-require 'libspec 'id))
         (keyword-apply id kws kw-args args))))
    ...))