A Statically Safe Alternative to Virtual Types
A Statically Safe Alternative to Virtual Types
复制标题
虚拟类型的静态安全替代方案
DOI：
10.1007/bfb0054106
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
P. Wadler
中科院分区：
文献类型：
--
作者：
Kim B. Bruce;Martin Odersky;P. Wadler
参数类型和虚拟类型最近被提议作为Java的扩展，以支持泛型。在本文中，我们研究了每种方法的优点和缺点。我们建议使用一种虚拟类型的变体，它具有类似的表达能力，但支持安全的静态类型检查。这产生了这样一种语言，其中参数类型和虚类型都被很好地集成，并且是静态类型安全的。
Parametric types and virtual types have recently been proposed as extensions to Java to support genericity. In this paper we investigate the strengths and weaknesses of each. We suggest a variant of virtual types which has similar expressiveness, but supports safe static type checking. This results in a language in which both parametric types and virtual types are well-integrated, and which is statically type-safe.