Types are calling conventions
Types are calling conventions
复制标题
类型正在调用约定
DOI：
10.1145/1596638.1596640
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
S. Jones
中科院分区：
文献类型：
--
作者：
Maximilian Bolingbroke;S. Jones
编译器通常从函数的类型中派生函数的调用约定。这样做很简单，模块化，但错过了许多优化的机会，特别是在懒惰的高阶函数语言中，广泛使用currying。我们通过定义Strict Core来恢复失去的机会，Strict Core是一种新的中间语言，其类型系统具有缺失的区别：懒惰是显式的，函数具有多个参数并返回多个结果。
It is common for compilers to derive the calling convention of a function from its type. Doing so is simple and modular but misses many optimisation opportunities, particularly in lazy, higher-order functional languages with extensive use of currying. We restore the lost opportunities by defining Strict Core, a new intermediate language whose type system makes the missing distinctions: laziness is explicit, and functions take multiple arguments and return multiple results.