First-Class Genericity for Java

Java 的一流通用性

• 批准号: 0306494
• 负责人: Robert Cartwright
• 金额: --
• 依托单位: William Marsh Rice University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-06-15 至 2009-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0306494&HistoricalAwards=false
• 关键词: First; Class; Genericity; Java

CCR-0306494Robert CartwrightWilliam Marsh Rice UniversityThe Java platform has won acceptance as a superior vehicle for building software applications, but it is still in the early stages of evolution. Its most serious deficiency is a crude type system which does not support generic types, separates primitive types from object types, and includes the null pointer in every object type. As a result, programmers cannot express many important program invariants in the type system. An improved Java type system could simplify the structure of many Java programs and enable programmers to catch more bugs at compile time.The next major release (1.5) of the Java platform will support a restricted formulation of generic types. While this extension represents a major step forward, restrictions on the use of generic types will prevent them from being used in many important object-oriented coding patterns.In this project, we propose to design and implement a compatible extension of Java 1.5 with a more advanced type system in which generic types can be used anywhere that conventional types can. The extended Java language will enable programmers to express important new data abtractions, to eliminate most type casts, and to catch more bugs at compile time--without compromising program performance.

CCR-0306494 Robert Cartwright William Marsh Rice大学Java平台已经被公认为构建软件应用程序的上级工具，但它仍处于发展的早期阶段。 它最严重的缺陷是一个粗糙的类型系统，它不支持泛型类型，将基本类型与对象类型分开，并在每个对象类型中包含空指针。 因此，程序员无法在类型系统中表达许多重要的程序不变量。 一个改进的Java类型系统可以简化许多Java程序的结构，并使程序员能够在编译时捕获更多的错误。Java平台的下一个主要版本（1.5）将支持泛型类型的受限形式。 虽然这个扩展代表了一个重大的进步，限制使用泛型类型将阻止他们被用于许多重要的面向对象的编码patterns.在这个项目中，我们建议设计和实现一个兼容的Java 1.5扩展与一个更先进的类型系统中，泛型类型可以使用任何地方，传统的类型可以。 扩展的Java语言将使程序员能够表达重要的新数据提取，消除大多数类型转换，并在编译时捕获更多错误-而不会影响程序性能。