types - ¿Qué necesita agregar a un sistema de tipo dependiente para obtener un sistema de módulos?

module ocaml

Question

Los sistemas de tipo dependiente parecen apoyar algunos de los usos de un sistema de módulo ML. ¿Qué obtienes de un sistema modular que no obtienes de los registros dependientes?

módulo ~ registro

firma ~ tipo de registro

functor ~ función en los registros

módulo con un componente de tipo abstracto ~ registro dependiente con un campo tipo

Me interesa saber qué tan bien funciona esto como un sistema de módulos, y cómo y cómo se pueden integrar características como functors aplicativos y mixins.