Frege 模块可以跨越多个文件吗？

Question

一些语言允许模块跨越多个文件。在 Frege 中，这意味着模块的名称空间对于以后的扩展将是 "open"。 我认为这是不可能的，因为模块是由它们编译的 class 文件定位的——除非有一些巧妙的命名技巧。 我只是想确定一下。

Answer 1

不，不能。一个模块，一个文件。