RUI: Modules and Parallel Specialization of Object Types

[306486] Kim B. Bruce Williams CollegeRUI：模块和对象类型的并行特化本研究的目标是改进静态类型面向对象编程语言的设计，特别是在大中型编程问题方面。研究将集中在：1。面向对象语言的模块系统：模块提供了对组织代码的支持、隐藏信息的抽象屏障以及对单独编译的支持。然而，当前的模块系统缺乏灵活性，无法捕捉许多用面向对象语言设计程序的常用方法。2. 同时修改相互递归类型和类：本研究将开发支持相互递归类型的增量修改的方法，同时保留类型安全性和类型与类之间的重要关系。3. 面向对象语言的类型化中间语言和虚拟机：像Java和c#的目标虚拟机这样的运行时系统缺乏对高级面向对象语言和模块系统的支持。探索编译技术和虚拟机来支持这些特性是确保它们最终被采用的必要条件。本研究将继续使用LOOM作为进一步研究支持面向对象语言特性的最佳方法的测试平台，同时还将研究如何使用这些思想中的最佳方法来增强诸如Java及其后继语言之类的实际语言。

0306486 Kim B. Bruce Williams CollegeRUI: Modules and Parallel Specialization of Object Types The goal of this research is to improve the design of statically-typed object-oriented programming languages, especially with regard to issues of programming in the medium to large scale. Research will focus on: 1. Module systems for object-oriented languages: Modules provide support for organizing code, abstraction barriers to hide information, and support for separate compilation. However, current module systems lack the flexibility to capture a number of common ways in which to design programs in object-oriented languages. 2. Simultaneous modification of mutually recursive types and classes: This research will develop ways to support incremental modification of mutually recursive types while preserving type safety and important relations between types and classes. 3. Typed intermediate languages and virtual machines for object-oriented languages: Run-time systems like the target virtual machines for Java and C# lack support for advanced object-oriented languages and module systems. Exploring compilation techniques and virtual machines to support these features is necessary to ensure their eventual adoption. This research will continue using LOOM as a test bed for further investigations into the best way to support features of object-oriented languages, while also investigating how to use the best of these ideas to enhance real languages like Java and its successors.