Re: Modular explicits in pre-OCaml 5.5

Le 25/06/2026 à 16:23, Samuel Vivien a écrit :
> Indeed. Modular explicit does not add any expressiveness to the language 
> (and does not impact the soundness of the type system). Every program 
> that can be written using modular explicits could have been written with 
> a functor encoded as a first-class module.
> 
> We presented this encoding in section 1.5 of this paper about modular 
> explicits : https://hal.science/hal-05428136/document
That clarifies it for me, thanks!