Любая причина, почему Scala не поддерживает явно зависимые типы?

Существуют зависимые от пути типы, и я думаю, что в Scala можно выразить почти все особенности таких языков, как Epigram или Agda, но мне интересно, почему Scala не поддерживаетэто более явно, как это очень хорошо в других областях (скажем, DSL)? Что-то мне не хватает, как "это не нужно"?

Ответы на вопрос(4)

Ваш ответ на вопрос