Suchergebnisse für Anfrage "existential-type"
Existentielle Typen für F-begrenzte polymorphe Typen und nicht generische Subtypen?
Ich habe zwei Untertypen, die ich durch einen Typ F-begrenzt polymorph sein mussA und ein Subtyp eines dieser Subtypen, d. h. trait A[T <: A[T]] { def x: T } trait Ter extends A[Ter] trait For extends A[For] trait C extends TerNächste Ich ...
Was ist ein existenzieller Typ?
Ich habe den Wikipedia-Artikel gelesenExistential types [https://en.wikipedia.org/wiki/Type_system#Existential_types]. Ich habe festgestellt, dass sie aufgrund des existenziellen Operators (∃) existenzielle Typen heißen. Ich bin mir jedoch nicht ...
Trait Laufzeit Typ des Typparameters über TypeTag bei Verwendung mit Existential Typ in Scala
Ich habetrait mit Typparameter. Um den Laufzeit-Typ zu erhalten, benutze ichTypeTag. Wenn diesestrait (und seine Klassen) werden mit @ verwendexistential type in einer Sammlung, z.List oderMap, TypeTag ist verloren" Hier ist ein Beispiel für die ...
Variable in Laufzeit-Typ aus existenziell typisiertem TypeCast in Scala @ umwande
Dieser Thread [https://stackoverflow.com/questions/29380839/trait-runtime-type-of-type-parameter-through-typetag-when-used-with-existential] adressiert wie man @ benutTypeTag, um den Laufzeittyp der Typparameter abzurufen, wenn sie mit @ ...
Unterstrich für existenziellen Typ in Scala
Ich habe in Scala einen Blog über existenzielle Typen gelesen: Existenzielle Typen in Scala [http://www.drmaciver.com/2008/03/existential-types-in-scala/] In diesem Blog wird ein Beispiel erwähnt: Map[Class[T forSome { type T}], String] ...
Understanding `k: Nat ** 5 * k = n` Signature
Die folgende Funktion wird kompiliert: onlyModByFive : (n : Nat) -> (k : Nat ** 5 * k = n) -> Nat onlyModByFive n k = 100Aber was machtk repräsentiere mit seinemNat ** 5 * k = n Syntax Auch wie kann ich es nennen? Folgendes habe ich versucht, ...
Skolemisierung existentiell typisierter Ausdrücke
In Scala löst der folgende Ausdruck einen Typfehler aus: val pair: (A => String, A) forSome { type A } = ( { a: Int => a.toString }, 19 ) pair._1(pair._2) Wie in @ erwäh SI-9899 [https://issues.scala-lang.org/browse/SI-9899] und das Antworte ...
Funktionen zu polymorphen Datentypen
DatenFoo a ist wie folgt definiert: data Foo a where Foo :: (Typeable a, Show a) => a -> Foo a -- perhaps more constructors instance Show a => Show (Foo a) where show (Foo a) = show amit einigen Instanzen: fiveFoo :: Foo Int fiveFoo = Foo 5 ...
Seite 2 von 2