【问题标题】:How to import code in SML?如何在 SML 中导入代码?
【发布时间】:2011-01-31 18:12:10
【问题描述】:

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

【问题讨论】:

    标签: sml


    【解决方案1】:

    使用use:

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

    如果“student.sml”中有学生解决方案,“tests.sml”中有测试用例:

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

    【讨论】:

    • 你能在另一个 SML 文件中使用use 函数吗?我已经尝试过,但总是收到 operator is not a function 错误。
    • rlandster,是的,您可以在您的 SML 文件中使用。它的行为与任何其他函数一样。
    • 请注意,ML 实现不需要实现use 函数。
    【解决方案2】:

    看看QCheck,一个SML的单元测试库

    【讨论】:

      猜你喜欢
      • 1970-01-01
      • 2018-02-21
      • 2021-04-30
      • 2019-06-19
      • 2016-08-09
      • 2011-07-06
      • 2021-11-07
      • 1970-01-01
      • 2014-12-20
      相关资源
      最近更新 更多