Loading...
Please wait, while we are loading the content...
Similar Documents
Ambivalent Types for Principal Type Inference with GADTs
| Content Provider | CiteSeerX |
|---|---|
| Author | Garrigue, Jacques Rémy, Didier |
| Abstract | Abstract. GADTs, short for Generalized Algebraic DataTypes, which allow constructors of algebraic datatypes to be non-surjective, have many useful applications. However, pattern matching on GADTs introduces local type equality assumptions, which are a source of ambiguities that may destroy principal types— and must be resolved by type annotations. We introduce ambivalent types to tighten the definition of ambiguities and better confine them, so that type inference has principal types, remains monotonic, and requires fewer type annotations. 1 |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Type Annotation Principal Type Generalized Algebraic Datatypes Ambivalent Type Type Inference Algebraic Datatypes Principal Type Inference Many Useful Application |
| Content Type | Text |
| Resource Type | Article |
