Preguntas etiquetadas con path-dependent-type

¿Qué se entiende por tipos dependientes de la ruta de Scala?

He oído que Scala tiene tipos dependientes de la ruta. Tiene algo que ver con las clases internas, pero ¿qué significa esto realmente y por qué me

¿Alguna razón por la que scala no admite explícitamente tipos dependientes?

Hay tipos dependientes de la ruta y creo que es posible expresar casi todas las características de lenguajes como Epigram o Agda en Scala, pero me pregunto por qué Scala no admite esto de manera más explícita como lo hace muy bien en otras áreas (digamos , DSL)? ¿Algo que me falta como "no es...