Soft typing with conditional types
Soft typing with conditional types
复制标题
具有条件类型的软类型
DOI：
10.1145/174675.177847
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
T. K. Lakshman
中科院分区：
文献类型：
--
作者：
A. Aiken;E. Wimmers;T. K. Lakshman
我们为动态类型的语言提供了一种简单而强大的类型推理方法，在该语言中没有用户提供类型信息。类型推理减少到包含功能类型，构造函数类型，联合，交叉和递归类型以及条件类型的类型语言上的类型包含约束系统的可解决性问题。条件类型使我们能够使用类型推理分析控制流，从而促进准确类型的计算。我们通过实现实施的示例和绩效结果来证明该方法的力量和实用性。
We present a simple and powerful type inference method for dynamically typed languages where no type information is supplied by the user. Type inference is reduced to the problem of solvability of a system of type inclusion constraints over a type language that includes function types, constructor types, union, intersection, and recursive types, and conditional types. Conditional types enable us to analyze control flow using type inference, thus facilitating computation of accurate types. We demonstrate the power and practicality of the method with examples and performance results from an implementation.