CAREER: Type-Directed Programming in Object-Oriented Languages

0347289职业生涯：面向对象编程中的类型导向编程（Type-Directed Programming in Object-Oriented Programming）Stephanie Weirich，美国匹兹堡大学类型导向编程（Type-Directed Programming）是软件设计中的一个重要范例。通过使用这种形式的编程来分析数据的结构，可以为所有类型的数据定义一次许多操作，例如序列化，相等和迭代器。 随着软件的发展，这些操作不需要更新--它们将自动适应新的数据形式。 虽然面向对象语言在现代软件系统的实现中得到了广泛的应用，但它们对类型导向编程只有基本的支持。因此，本项目建议调整和扩展这些语言的类型导向编程机制。该项目的具体目标有三个方面。第一个目标是将现有的类型导向编程理论扩展到面向对象编程语言。 第二个是通过开发一个 支持类型导向编程的面向对象语言。最后，第三个目标是使用这个实现来研究类型导向编程的新模式，以激发对这些模式的语言支持的新发展。 将包括类型导向编程的实验，以更好地理解其在面向对象语言的上下文中编程的作用。

0347289CAREER: Type-Directed Programming in Object-Oriented LanguagesStephanie WeirichUniversity of PittsburghType-directed programming is an important paradigm in the design of software. By using this form of programming to analyze the structure of data, many operations, such as serialization, equality and iterators may be defined once, for all types of data. As software evolves, these operations need not be updated---they will automatically adapt to new data forms. Although object-oriented languages are widely used in the implementation of modern software systems, they have only primitive support for type-directed programming. Therefore, this project proposes to adapt and extend the mechanisms for type-directed programming to those languages. The specific goals of the project are threefold. The first goal is to extend the existing theory of type-directed programming to object-oriented programming languages. The second is to validate and refine that theory by developing an implementation of an object-oriented language that supports type-directed programming. Finally, the third goal is to use this implementation to investigate new patterns of type-directed programming to inspire new developments in language support for these patterns. Experiments with type-directed programming will be included to better understand its role in programming in the context of object-oriented languages.