Abstract

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 practicrdity of the method with examples and performance results from an implementation. 1

Citations

874	A theory of type polymorphism in programming - Milner - 1978
408	Can functional programming be liberated from the Von Neumann style - Backus - 1978
323	Principal type-schemes for functional programs - Damas, Milner - 1982
203	Type inclusion constraints and type inference - Aiken, Wimmers - 1993
186	Flow analysis and optimization of Lisplike structures - Muchnick, Jones - 1981
180	Control flow analysis in Scheme - Shivers - 1988
175	Soft typing - Cartwright, Fagan - 1991
151	Refinement types for ML - Freeman, Pfenning - 1991
122	An ideal model for recursive polymorphic types - MacQueen, Plotkin, et al. - 1986
94	Set Based Program Analysis - Heintze - 1992
74	P.: Type inference with subtypes - Fuh, Mishra - 1988
59	Static type inference in a dynamically typed language - Aiken, Murphy - 1991
58	Declaration-free type checking - Mishra, Reddy - 1985
53	Efficient Inference of Partial Types - Kozen, Palsberg, et al. - 1994
46	Implementing regular tree expressions - Aiken, Murphy - 1991
46	Partial type inference for untyped functional programs - Gomard - 1990
38	Type inference with partial types - Thatte - 1988
37	Coercion and type inference (summary - Mitchell - 1984
35	Dynamic typing - Henglein - 1992
15	An ideal model for recursive polymophic types - MacQueen, Plotkin, et al. - 1986
3	The FL language manual parts 1 and 2 - Backus, Williams, et al. - 1989
2	Automatic Computation of Data Set Definitions. Information Processing 68 - Reynolds - 1969
2	1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11 - Aiken, Murphy - 1991
1	Set Based Progmm Anal~sis - HEINTZE - 1992