Suchergebnisse für Anfrage "type-systems"
Warum gibt es in Haskell "Daten" und "Neuer Typ"? [Duplikat
Diese Frage hat hier bereits eine Antwort: Unterschied zwischen `data` und` newtype` in Haskell [/questions/5889696/difference-between-data-and-newtype-in-haskell] 1 Antwort Es scheint, dass einnewtype definition ist nur eindata -Definition, die ...
Was sind die Grenzen der Typinferenz?
Was sind die Grenzen der Typinferenz? Welche Typsysteme haben keinen allgemeinen Inferenzalgorithmus?
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 ...
Haben alle Programmiersprachen ein klares Konzept von NIL, null oder undefiniert?
Ich schreibe eine Schlüsselwertspeicher-API (wie ODBC, nur die Schnittstelle, nicht den zugrunde liegenden Speicher) in vielen verschiedenen Sprachen, und obwohl ich die API nicht zwischen Sprachen übersetzen möchte, möchte ich beispielsweise ...
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 ...
Scala - Erzwingen der Größe des Vektors zur Kompilierungszeit
Ist es möglich, die Größe von a zu erzwingen?
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?
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 { ...