Suchergebnisse für Anfrage "type-systems"
Was sind kumulative Universen und `*: *`?
n Agda gibt esSet n. Wie ich es verstehe,Set n erweitert die Haskell-artige Hierarchie von Werttypen auf unendliche Ebenen. Das ist,Set 0 ist das Universum der normalen Typen,Set 1 ist das Universum der normalen Arten,Set 2 ist das Universum ...
Wie kann ich einen Negationstyp in Scala haben?
Ich möchte so etwas machen: def iDontLikeStrings(arg: Not[String]) = {....}rundsätzlich sollte dies kompilieren: iDontLikeStrings(23) iDontLikeStrings(true)Und dies sollte NICHT kompilieren: iDontLikeStrings("hello")
Nachteile des Scala-Systems gegenüber Haskell?
Ich habe gelesen, dass das Typensystem von Scala durch die Java-Interoperabilität geschwächt ist und daher nicht die gleichen Funktionen wie das Typensystem von Haskell ausführen kann. Ist das wahr? Liegt die Schwäche an der Typ-Löschung, oder ...
Was macht Haskells Typensystem „leistungsfähiger“ als die Typensysteme anderer Sprachen?
LesenNachteile des Scala-Systems gegenüber Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Ich muss fragen: Was genau macht Haskells Typensystem leistungsfähiger als die Typensysteme ...
Downcast-Merkmale in Rc für die AST-Manipulation
Ich versuche ASTs in Rust zu manipulieren. Es wird viele Manipulationen geben, und ich möchte, dass meine Bäume unveränderlich sind. Um Zeit zu sparen, werden alle Referenzen @ seiRc s. Meine Baumknoten sehen dann so aus: enum Condition { ...
Das Typensystem in Scala ist Turing vollständig. Beweis? Beispiel? Leistungen
Es gibt Behauptungen, dass das Typensystem von Scala vollständig ist. Meine Fragen sind: Gibt es einen formellen Beweis dafür? Wie würde eine einfache Berechnung im Scala-Typsystem aussehen? Ist das für Scala von Nutzen - die Sprache? Ist ...
Wie gehe ich mit dem Typensystem auf Haskell bequem um?
Haskells Typensystem ist mächtig und beliebt für seine mathematische Genauigkeit und logische Solidität. Auf der anderen Seite frage ich mich, warum es nicht so funktioniert, wie es von der Intuition erwartet wird. Z.B. warum kann nichtInt zu @ ...