Als «type-systems» getaggte Fragen

11
Was ist ein existenzieller Typ?
Ich habe den Wikipedia-Artikel Existenzielle Typen gelesen . Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) als existenzielle Typen bezeichnet werden. Ich bin mir jedoch nicht sicher, worum es geht. Was ist der Unterschied zwischen T = ∃X { X a; int f(X); } und T = ∀x …
4
Warum nicht abhängig getippt werden?
Ich habe mehrere Quellen gesehen, die die Meinung widerspiegeln, dass "Haskell allmählich zu einer Sprache mit abhängiger Typisierung wird". Die Implikation scheint zu sein, dass Haskell mit immer mehr Spracherweiterungen in diese allgemeine Richtung driftet, aber noch nicht da ist. Grundsätzlich gibt es zwei Dinge, die ich gerne wissen würde. …
4
Was bedeutet der Operator "#" in Scala?
Ich sehe diesen Code in diesem Blog: Typ-Level-Programmierung in Scala : // define the abstract types and bounds trait Recurse { type Next <: Recurse // this is the recursive function definition type X[R <: Recurse] <: Int } // implementation trait RecurseA extends Recurse { type Next = RecurseA …
4
Was sind einige überzeugende Anwendungsfälle für abhängige Methodentypen?
Abhängige Methodentypen, die früher ein experimentelles Feature waren, wurden jetzt standardmäßig im Trunk aktiviert , und anscheinend scheint dies in der Scala-Community für Aufregung gesorgt zu haben . Auf den ersten Blick ist nicht sofort klar, wofür dies nützlich sein könnte. Heiko Seeberger hat ein neues einfaches Beispiel abhängigen Verfahrenstypen …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.