Frozen inference constraints for type-directed disambiguation

Olivier Martinot (1) , Gabriel Scherer (1)

1 PARTOUT - Automatisation et ReprésenTation: fOndation du calcUl et de la déducTion

We present work-in-progress on type inference in presence of type-directed name disambiguation (where an ambiguous name is resolved using type information), following the approach of constraint-based type inference. Our specific goal is to implement inference for OCaml sum/variant constructor disambiguation, and our approach is to introduce "frozen constraints", a more general constraint mechanism. We have a prototype implementation of frozen constraints in the Inferno library, and discuss the implementation and meta-theoretical challenges.

Domaines: Langage de programmation [cs.PL]

Olivier Martinot, Gabriel Scherer. Frozen inference constraints for type-directed disambiguation. ML Family Workshop, Aug 2021, online, South Korea. ⟨hal-03510890⟩