在模块化语言中移除合格名称
摘要：资格名称在模块系统中很受欢迎，但会引起严重的复杂性。本文提出了一种替代资格名称的方法。关键思想是在使用之前将其他模块的声明导入到当前模块中。通过这种方式，可以本地访问所有声明。然而，这种方法在内存使用方面不高效。我们的贡献是{it模块弱化}方案，它允许我们导入最小部分。作为这一方法的示例，我们提出了一种功能语言的模块系统。
作者：Keehang Kwon and Daeseong Kang
论文ID：2210.03413
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-10-10