可组合协程的类型化
摘要：为组合非对称的、一流的、无栈的协程，我们提出了一种类型注解和计算。给定一系列协程的类型，我们可以计算一个匹配协程集合行为的组合类型，使得输入和输出可以通过类型系统进行类型检查。我们的协程类型可以模拟协程接收到的数据或从中产生的数据，这些数据也可以是协程类型。在我们的类型计算基础上，我们讨论了其合理性和评估问题，并提供了我们的协程类型的四个应用场景。我们的类型不仅可以用于现代编程语言，如Python，还可以模拟OCaml甚至Prolog中的程序行为。
作者：Qiqi Gu and Wei Ke
论文ID：2308.10548
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-08-22