如何在SML中导入代码？

Question

我目前正在评估SML课程的作业。我已经编写了一些测试用例来自动检查学生作业中函数的正确性，我希望能够导入他们的代码然后针对该代码运行测试用例。我在想象类似于python import语义的东西。现在，我的最佳解决方案是在每个作业的底部复制粘贴此代码。这可能与SML有关吗？

Answer 1

使用use：

use "filename.sml";
(* your test cases here *)

如果您有“student.sml”中的学生解决方案，并且您的测试用例位于“tests.sml”中：

use "student.sml";
use "tests.sml";

Answer 2

查看QCheck，一个SML的单元测试库