Ambivalent Types for Principal Type Inference with GADTs - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Ambivalent Types for Principal Type Inference with GADTs

Résumé

GADTs, short for Generalized Algebraic DataTypes, which allow constructors of algebraic datatypes to be non-surjective, have many useful applications. However, pattern matching on GADTsintroduces 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.
Fichier principal
Vignette du fichier
Garrigue-Remy_gadts_applas2013.pdf (248.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00914560 , version 1 (05-12-2013)

Identifiants

Citer

Jacques Garrigue, Didier Rémy. Ambivalent Types for Principal Type Inference with GADTs. APLAS 2013 - 11th Asian Symposium on Programming Languages and Systems, 2013, Melbourne, Australia. pp.257-272, ⟨10.1007/978-3-319-03542-0_19⟩. ⟨hal-00914560⟩

Collections

INRIA INRIA2
136 Consultations
165 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More