structure - 结构内部的签名

Question

我想将签名/结构对放置在一个结构中，如下所示:

structure Outer :> OUTER =
struct
    signature INNER =
    sig
        ...
    end

    structure Inner :> INNER =
    struct
    ...
    end
end

但即使是最简单的示例也会产生错误:

../test.sml:1.18-2.6 Error: syntax error: replacing  STRUCT with  EQUALOP../test.sml:5.6 Error: syntax error found at END

结构内部似乎不允许签名。实现此功能的最佳方式是什么？

Answer 1

尽管结构嵌套在 SML 中，但签名却没有。不清楚你要实现什么功能:

• 隐藏命名签名是不可能的。

• INNER 签名取决于结构 Outer 中声明的类型是通过fibration 实现的(其中类型 子句)。在本杰明 PIL 斯关于编程语言高级类型的书中，Harper 和 Pierce 的教程中有一个关于纤维化的长度部分。