多态效应的作用域能力
摘要：通过CCsubBox描述捕获到的变量以简洁地表示类型，并展示它可以通过作用域能力的方式安全地实现效果和效果多态性。我们讨论了跟踪捕获变量的决策如何引导该演算的关键方面，并展示CCsubBox 允许针对常见数据结构及其典型使用模式进行简单且直观的类型定义。我们演示了如何利用这些思想来指导实际编程语言中捕获检查的实现。
作者：Martin Odersky, Aleksander Boruch-Gruszecki, Edward Lee, Jonathan Brachth"auser, Ondv{r}ej Lhot''ak
论文ID：2207.03402
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-07-25