Als «path-dependent-type» getaggte Fragen

Was ist mit Scalas pfadabhängigen Typen gemeint?

Ich habe gehört, dass Scala pfadabhängige Typen hat. Es hat etwas mit Innenklassen zu tun, aber was bedeutet das eigentlich und warum kümmert es

Gibt es einen Grund, warum Scala abhängige Typen nicht explizit unterstützt?

Es gibt Weg abhängige Typen und ich denke , dass es möglich ist , fast alle Funktionen solcher Sprachen als Epigramm oder Agda in Scala zum Ausdruck bringen, aber ich frage mich , warum Scala nicht unterstützt dies ausdrücklich mehr , wie es sehr gut funktioniert in anderen Bereichen (zB , DSLs)?...