This is join work with Samuel Vivien and Gabriel Scherer, exploring the addition of modular implicit in an ML-like module system build on top of Fomega with partial type inference.
The goal is to explore the resolution strategies and the interaction between type-checking and type-inference in the core language and the resolution of implicits.
See Samuel’s implementation of modular explicits and and how to install it with opam
See an note on the design and implementation of Modular Explicits and its presentation at the 2024 OCaml workshop.