CAREER: Type Inference for Object-Oriented Software

9734265 Palsberg该项目的目标是开发面向对象软件的类型推理算法，这些算法对工具开发人员和语言设计人员非常有用。示例应用程序是用于将动态类型的原型应用程序转换为静态类型的产品的工具支持。目前已知的算法不处理在常用语言中发现的特征的组合，并且已知没有一种算法能够很好地扩展。该项目将开发新的类型推理算法，它将用它们进行大规模的实验，并将研究新的语言设计，其中类型推理是平滑集成的。沿着，一个关于编程语言的实践课程正在开发中，重点是面向对象和函数式编程之间的相似性和差异。 ***

9734265 Palsberg The goal of the project is to develop type inference algorithms for object-oriented software which are practically useful for tool developers and language designers. An example application is tool support for transforming a dynamically typed prototype application into a statically typed product. The currently known algorithms do not handle the combination of features found in commonly used languages, and none of the algorithms are known to scale well. The project will develop new type inference algorithms, it will perform large scale experiments with them, and it will investigate new language designs where type inference is smoothly integrated. Along with this, a hands-on course on programming languages is being developed, focusing on the similarities and differences between object oriented and functional programming. ***