Racket 入门 - 模块与测试
内容提要
本文介绍了Racket的模块化开发和测试。模块可以通过provide和require来导出和导入变量和函数。测试可以使用test-engine/racket-tests模块进行，可以使用check-expect来建立测试用例。文章提供了示例代码和运行结果。
延伸解读
Racket 模块系统的独特之处
与 Java、Python 等语言不同，Racket 的模块系统要求显式导出（provide）和导入（require）。这意味着即使变量或函数定义在模块中，如果不使用 provide 声明，其他模块也无法访问。这种设计增强了封装性，但要求开发者更明确地控制模块的公开接口。
测试用例的灵活书写方式
Racket 的测试框架允许将 check-expect 测试用例写在相关定义之前，这与许多语言中测试必须位于定义之后的习惯不同。这种灵活性使得开发者可以用测试用例作为功能描述，并通过空行分隔不同功能块，提高代码可读性。
运行测试的注意事项
在 Racket 中，仅定义 check-expect 并不会自动运行测试，必须在代码末尾添加 (test) 表达式。运行后会输出测试总数、失败数及具体失败原因，帮助开发者快速定位问题。
测试模块的扩展功能
除了基本的 check-expect，test-engine/racket-tests 还提供 check-error、check-within 和 check-member-of 等表达式，分别用于检查错误、容差比较和多个预期值，满足更复杂的测试需求。
Q&A
Racket中的模块是如何导出的？
在Racket中，模块的导出通过在文件开头使用provide关键字来实现，可以导出多个变量和函数。
如何在Racket中导入其他模块？
在Racket中，可以使用require关键字来导入其他模块提供的变量和函数，通常放在文件的开头。
Racket提供了哪些测试功能？
Racket提供了test-engine/racket-tests模块用于测试，支持check-expect、check-error、check-within和check-member-of等功能。
如何在Racket中编写测试用例？
可以通过check-expect表达式来建立测试用例，测试用例可以在相关定义前书写。
在Racket中如何运行所有测试用例？
需要在代码结尾加入(test)表达式来一次性运行所有的测试用例。
Racket的模块化开发有什么优势？
模块化开发可以更好地组织代码，提高代码的可维护性。
