艾丽斯还是鲍勃？：舞蹈编排中的进程多态性
摘要：PolyChor$lambda$: 一种面向高阶函数的编程语言，用于编写协作行为的系统，可以将其编译成每个进程的分布式实现。与其前身Chor$lambda$不同，PolyChor$lambda$具有类型和进程多态性，受到System F$\_omega$的启发。换句话说，PolyChor$lambda$是第一种可以在运行时编写通用合作关系并确定参与者的（高阶）函数协作语言。这种新颖的特性组合还允许PolyChor$lambda$进程进行分布式值通信，为编写委托提供了一种新的直观方式。虽然PolyChor$lambda$的一些函数特性使得它在协作关系的语义和端点投影的并发系统之间的对应性较弱，但我们仍然能够得到协作编程的标志性结果：投影的程序设计从设计上就是无死锁的。
作者：Eva Graversen (1), Andrew K. Hirsch (2) and Fabrizio Montesi (1) ((1) University of Southern Denmark, (2) University at Buffalo)
论文ID：2303.04678
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-03-09