Hindley-Milner Elaboration in Applicative Style - Archive ouverte HAL Access content directly
Conference Papers Year :

Hindley-Milner Elaboration in Applicative Style

(1)
1

Abstract

Type inference—the problem of determining whether a program is well-typed—is well-understood. In contrast, elaboration—the task of constructing an explicitly-typed representation of the program— seems to have received relatively little attention, even though, in a non-local type inference system, it is non-trivial. We show that the constraint-based presentation of Hindley-Milner type inference can be extended to deal with elaboration, while preserving its elegance. This involves introducing a new notion of "constraint with a value", which forms an applicative functor.
Fichier principal
Vignette du fichier
fpottier-elaboration.pdf (333.9 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01081233 , version 1 (07-11-2014)

Identifiers

Cite

François Pottier. Hindley-Milner Elaboration in Applicative Style. ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Goteborg, Sweden. ⟨10.1145/2628136.2628145⟩. ⟨hal-01081233⟩

Collections

INRIA INRIA2
187 View
649 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More