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 mic...

Untersuchung von `Typ` und` # `Schlüsselwörtern in Scala

Wie übergebe ich eine Variable als Array in JavaScript an einen Controller, der List [String] als Parameter akzeptiert?

Validierung mit einer Folge von By-Name-Parametern in Scala?

Scalas "Postfix Ops"

Wie soll ich über die Produktklassen von Scala nachdenken?

Versuch, ScalaTest zum Laufen zu bringen: "Es sind keine Tests auszuführen", wenn "mvn test" ausgeführt wird

Edit: Ich habe es endlich geschafft zu arbeiten !!!Es brauchte eine Kombination aus JUnit in der Datei pom.xml und drei Anweisungen in meiner .scala:

So instanziieren Sie eine Instanz eines Typs, der in Scala durch den Typparameter dargestellt wird

Beispiel:

Ist mein Verständnis des untenstehenden Scala-Codes korrekt?

Ich versuche nur den folgenden Code zu verstehen:Hier wird ein neues Typ-Alias-Set deklariert, bei dem es sich um eine Funktion handelt, die einen Int-Parame...

Scala flacht Liste ab

Ich möchte eine Funktion schreiben, die eine Liste abflacht.