Сегодня приснилось, что чувак начал использовать какой-то-там ML (щас и названия не вспомню). А я ему сказал, что если уж ML-подобное, то пусть не выйобывается и берёт OCaml ;-)
в самом узком смысле макквиновые модули это т.н. функторы - такая фунция принимающая модуль и возвращающая модуль. т.е. зависимость может быть параметром и параметризованный модуль применяется к другим модулям явно так в смле окамле и в бекпачечных файлах миксины - это когда линковочная машинерия применяет функтор сама, т.е. параметр маскируется чтоб для пользователя выглядеть как обычный импорт так бекпак предполагается использовать с помощью кабала
почему миксины вообще появились - потому что емелисты не осилили тн полнофункторный стиль. они попробовали некоторые проекты так написать типа млкита и чет замучались функтора применять