Funargs的效应
摘要：堆栈分配和一级函数无法自然地混合在一起。本文展示了一种类型和效果系统可以作为清洗剂帮助这些功能形成良好的乳状液。我们对这个问题的兴趣来自我们在Chapel语言上的工作，但这个问题也与C++中的lambda表达式和Objective C中的块相关。混合一级函数和堆栈分配的困难在于安全性、效率和简单性之间的紧张关系。为了保证安全性，必须担心函数超出它们引用的变量的生命周期：经典的向上funarg问题。有些系统可以重新获得安全性，但失去了程序员可预测的效率，还有一些系统既提供安全性又提高了效率，但通过向程序员暴露区域而放弃了简单性。在本文中，我们提出了一个简单的设计，将类型和效果系统与函数局部存储结合在一起，以实现对效率的控制。 标题：类型和效果系统在处理堆栈分配和一级函数方面的应用
作者：Jeremy G. Siek and Michael M. Vitousek and Jonathan D. Turner
论文ID：1201.0023
分类：Programming Languages
分类简称：cs.PL
提交时间：2012-01-04