重新定义 r6rs 中的语法关键字

Question

如何创建一个名为 rnrs-modified 的库，它将使以下代码显示“Hello, world!”...？

#!r6rs
(import (rnrs-modified))
(display set!)

或者甚至这会很好（实际上可以说更好）：

#!r6rs
(import (rnrs) (modified)) ;or (import (modified) (rnrs))
(display set!)

本质上我希望能够在库中重新定义语法关键字（let、lambda、set！等），然后将该库导入到另一个库或顶级库中编程并使用那些重新定义的关键字。

然而我不断收到这样的消息：

module: identifier already imported from a different source in:
  set!
  (lib "rnrs/main.ss")
  (lib "rnrs-modified/main.ss")

我用于 rnrs-modified 的代码是：

#!r6rs
(library (rnrs-modified)
         (export (rename (f set!)))
         (import (rnrs))
         (define f "Hello, world!"))

有什么想法吗？

---

更新：我发现这个用于'mzscheme模块'。它不适用于 r6rs 方案，但它提供的功能基本上正是我正在寻找的。如何在 r6rs 方案中提供 all-from- except ？

Answer 1

R6RS 通过识别您想要自定义的库、排除您想要自定义的部分，然后在您自己的库中定义这些部分，更有助于实现您的目标。下面是一个例子：

myrnrs.sls

(library
 (myrnrs)

 (export set!)

 (import
  (except (rnrs) set!)
  (rename (rnrs) (set! rnrs-set!)))

 (define set! "Hello, world."))

test.scm

(import
 (except (rnrs) set!)
 (myrnrs))
 (display set!)(newline)    

不幸的是，没有像我们在 Racket 中那样的 all-from- except ；因此您可以创建一个重新定义 set! 的库，但除了重新定义 set! 之外，您还必须导入 rnrs，然后输入所有这些绑定的导出。您可以在此处了解更多相关信息；讽刺的是，我也想创建一个没有设置的库！