Sized Types for Typing Eden Skeletons
Sized Types for Typing Eden Skeletons
复制标题
用于打字 Eden 骷髅的尺寸类型
DOI：
--
复制
发表时间：
2001
期刊：
影响因子：
--
通讯作者：
Clara Segura
中科院分区：
文献类型：
--
作者：
Ricardo Peña;Clara Segura
并行函数式语言Eden通过构造扩展了Haskell，以显式地定义和通信进程。这些扩展允许将骨架简单地定义为高阶函数。但是，程序员可能会无意中在其中引入忙碌循环或死锁。在本文中，大小类型系统的扩展，以便使用它的伊甸园程序，使这些良好类型的骨架是保证终止或生产。详细描述了Eden功能所带来的问题及其可能的解决方案，并在此修改后的系统中手动检查了几个骨架，如并行地图，农场，管道和复制工人。
The parallel-functional language Eden extends Haskell with constructs to explicitly define and communicate processes. These extensions allow the easy definition of skeletons as higher-order functions. However, the programmer can inadvertently introduce busy loops or deadlocks in them. In this paper a sized type system is extended in order to use it for Eden programs, so that those well-typed skeletons are guaranteed either to terminate or to be productive. The problems raised by Eden features and their possible solutions are described in detail and several skeletons are manually type checked in this modified system such as the parallel map, farm, pipeline and replicated workers.