Системы зависимых типов, похоже, поддерживают некоторые из применений модульной системы ML. Что вы получаете из модульной системы, что вы не получаете из зависимых записей?
модуль ~ запись
подпись ~ тип записи
Функция-функтор на записях
с абстрактно зависимой от типа компонентом записью с полем типа
Мне интересно, насколько хорошо это работает как модульная система, и если и как вы могли бы интегрировать такие функции, как аппликативные функторы и mixins.