Gibt es einen Grund, warum Scala abhängige Typen nicht explizit unterstützt?
Es gibt pfadabhängige Typen und ich denke, es ist möglich, fast alle Funktionen von Sprachen wie Epigramm oder Agda in Scala auszudrücken, aber ich frage mich, warum Scala diese nicht unterstütztdiese eher explizit wie es geht sehr schön in anderen bereichen (sprich dsls)? Fehlt mir etwas wie "es ist nicht nötig"?