代数效应与处理器无需值限制
编程语言
2017-04-20 v1 计算机科学中的逻辑
摘要
我们提出了一种直接且可靠的 Hindley-Milner 多态类型系统，用于按值调用演算中的代数效应与处理器，该系统允许对任意计算（不仅限于值）进行类型变量泛化。这一结果令人惊讶。一方面，已知在无限制的按值调用 Hindley-Milner 多态性中，若存在引用单元和续延等计算效应，其可靠性会失效。另一方面，许多编程示例可被重构为使用效应处理器而非这些效应。通过分析效应处理器相对于状态效应的表达能力，我们主张处理器无法表达引用单元，并展示它们可以模拟动态作用域状态。
引用
@article{arxiv.1605.06938,
title = {No value restriction is needed for algebraic effects and handlers},
author = {Ohad Kammar and Matija Pretnar},
journal= {arXiv preprint arXiv:1605.06938},
year = {2017}
}