The type and effect discipline
The type and effect discipline
复制标题
DOI：
10.1109/lics.1992.185530
复制
发表时间：
1992-06
期刊：
影响因子：
--
通讯作者：
J. Talpin;P. Jouvelot
中科院分区：
文献类型：
--
作者：
J. Talpin;P. Jouvelot
引入了类型和效果学科，用于重建主要类型的框架以及在隐式键入的多态性功能语言中表达式的最小效果，以支持命令式结构。类型和效果学科的表现优于其他多态类型系统。就像类型的混凝土价值集合集合一样，效果表示对区域的命令性操作。区域抽象的可能性存储位置的集合。效果用于在存在急需构造的情况下控制类型的概括，而区域可观察到可观察到的副作用。表达范围在其类型环境和类型中是自由的区域的可观察到的影响；与本地数据结构相关的效果可以在类型重建过程中丢弃。表达式的类型可以在类型环境或可观察效果中不自由的变量进行推广。>>>>>>>>
The type and effect discipline, a framework for reconstructing the principal type and the minimal effect of expressions in implicitly typed polymorphic functional languages that support imperative constructs, is introduced. The type and effect discipline outperforms other polymorphic type systems. Just as types abstract collections of concrete values, effects denote imperative operations on regions. Regions abstract sets of possibly aliased memory locations. Effects are used to control type generalization in the presence of imperative constructs while regions delimit observable side effects. The observable effects of an expression range over the regions that are free in its type environment and its type; effects related to local data structures can be discarded during type reconstruction. The type of an expression can be generalized with respect to the variables that are not free in the type environment or in the observable effect.>