R5RS 方案中定义语法的可移植加载/包含？

Question

我正在尝试编写适用于 DrRacket/plt-r5rs 和 Gambit/gsi 的东西。

我遇到的问题是 Gambit 中的 (load "foo.scm") 没有加载 define-syntax-blocks。在 Gambit 中使用 (include "foo.scm") 是可行的，但在 DrRacket 中当然会导致语法错误。

有没有办法解决这个问题，以便我可以编写可移植的 R5RS 代码？

我尝试过的事情：

• 将(include "foo.scm") 重新定义为(load "foo.scm")，反之亦然。问题：在 Gambit 中重新定义宏是非法的。
• 将上述重新定义包装在(if gambit ...) 中。问题：在 if 中放置定义是非法的（除非在另一个定义中）。
• 改为将带有文件名的字符串传递给库文件中的包含项。问题：Gambit 中的包含似乎发生在解释开始之前。

Answer 1

很难编写一个同时兼容 Gambit 和 Racket 的模块。

确实有一些方法可以测试特定的实现并有条件地定义事物。事实上，有两个系统可以做到这一点：SRFI 0 和 SRFI 7。 Most implementations support one or the other. Not very many support both.

Gambit 支持 SRFI 0。Racket 支持 SRFI 7。

Answer 2

如果有帮助：在 Racket 中，您可以在 r5rs 文件中使用包含：

#lang r5rs
(#%require (only racket include))
(include "foo.scm")

如果您在 Gambit 中定义 #%require 不做任何事情，那么您可以在两个实现中使用相同的源文件。