ICFP 2021
Sun 22 - Sat 28 August 2021
Fri 27 Aug 2021 01:30 - 02:00 at ML - Inference + Short talks Chair(s): Ohad Kammar

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 constraint'', 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.