Sml 如何使用“嵌套”结构

Question

如何在 SML 中定义“嵌套结构”，以便我可以做类似的事情：

structure Why_Does =
  struct
     val seriously = "..."

     Structure This_Not_Work =
       struct
          val hmm = "this confuses me"
       end
  end

然后使用Why_Does.This_Not_Work.hmm ?

我得到一个Error: unbound structure: This_Not_Work in path Why_Does.This_Not_Work.hmm 异常

Answer 1

在您的代码中，您输入了带有大写 S 的“Structure”，这是错误的 - 也许这就是问题所在？如果我解决了这个问题，你的代码在 mosml 中对我来说就很好了。