【发布时间】:2020-09-12 00:28:58
【问题描述】:
我开始使用 DrRacket 处理 SICP。我安装了 sicp 包,并在单元测试文件的顶部声明了 #lang sicp,然后声明了 (require rackunit "xxx.scm"),但我收到了 unbound identifier 错误。是不是有错误,还是不能这样用sicp包的rackunit?
【问题讨论】:
我开始使用 DrRacket 处理 SICP。我安装了 sicp 包,并在单元测试文件的顶部声明了 #lang sicp,然后声明了 (require rackunit "xxx.scm"),但我收到了 unbound identifier 错误。是不是有错误,还是不能这样用sicp包的rackunit?
【问题讨论】:
您需要使用#%require。
#%require实际上是球拍最底层的原始类型,与require略有不同:
#lang sicp
(#%require rackunit "xxx.scm")
您要测试的文件成为一个模块,因此您可以通过提供要公开的标识符从其他代码中使用它:
(#%provide procedure-name)
您也可以只需要一些所需的表格。例如。 error 和 time 来自 racket/base:
(#%require (only racket/base error time))
查找它们所在位置的提示是搜索在线手册或从 DrRacket 中的帮助 > Racket 文档。例如。这是一个搜索error 的示例,您有很多选择,但以球拍为前缀的是您要查找的。p>
注意:并非所有形式都兼容跨语言。例如。 R5RS 与 #lang racket
【讨论】:
#lang sicp 使用(#%require rackunit "test.scm") 和(#%provide a-function-name)
provide 与#%require 结合使用。现在可以用了,谢谢大家的建议。