Suchergebnisse für Anfrage "path-dependent-type"
Was ist mit Scalas pfadabhängigen Typen gemeint?
Ich habe gehört, dass Scala pfadabhängige Typen hat. Es hat etwas mit inneren Klassen zu tun, aber was bedeutet das eigentlich und warum interessiert es mich?
Einschränkungsfunktion basierend auf dem Ursprung (Pfadabhängiger Typ? Typgenerierung?)
Tut mir leid wegen des schrecklichen Titels, ich bin mir nicht sicher, ob es einen besseren gibt. Hier ist eine grobe Vereinfachung meines Problems (Sorry, w...
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...
Abhängige Typen, die für Konstruktoren nicht funktionieren?
Pfadabhängige Typen sind nützlich:
Scala-Typen: Klasse A ist nicht gleich T, wobei T ist: Typ T = A
Ich habe den Abschnitt 20.7 des Buches Programmieren in Scala gelesen und mich gefragt, warum dieser Code kompiliert wurde: class Food class Fish extends Food class Grass extends Food abstract class Animal { type SuitableFood <: Food def ...