Вопросы с тегом «path-dependent-type»

Что подразумевается под типами Scala, зависящими от пути?

Я слышал, что в Scala есть типы, зависящие от пути. Это как-то связано с внутренними классами, но что это на самом деле означает и почему меня это

Есть ли причина, по которой scala явно не поддерживает зависимые типы?

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