.png){kind=icon}
返回
Explicit Level Imports
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-031-99751-8_3.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
跨阶段持久性规则在多阶段编程语言中普遍被接受。这些规则编码了所有模块和包依赖在所有阶段都可用这一假设。然而，在实践中，每个特定阶段可能只需要少量依赖。本文介绍了显式层级导入（Explicit Level Imports）机制，该机制使程序员能够精确控制每个阶段所需的依赖。导入通过修饰符进行标注，将标识符引入特定层级的范围。这种精确性使得编译器能够轻松确定每个阶段确切需要的内容，并仅提供这些内容。结果是编译时间更快，且跨编译支持得到改进。我们已在GHC Haskell中实现了这些想法，设计时考虑了广泛的实际因素，并最终证明该特性以务实的方式解决了一个实际问题。
Keyword:
Staging
Modules
Compile-time code generation
Haskell
期刊
T
IF:
0
论文数:
20
被引数:
0
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏分享收藏分享收藏
查看更多内容