Suchergebnisse für Anfrage "existential-type"
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 ...
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 ...
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, ...
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] ...
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 @ ...
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 ...
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 ...
Verwechslung mit existenziellen Typen in der Scala
Ich hatte Mühe, existenzielle Typen in Scala zu verstehen, kann es aber nicht herausfinden. Hier ist mein Testcode: scala> val a: Array[T] forSome {type T} = Array(1,2.2,"3") a: Array[_] = Array(1, 2.2, 3) scala> val b: Array[T forSome {type T}] ...
Warum gibt es in GHC Haskell keine existenziell quantifizierten Typvariablen?
Es gibt universell quantifizierte Typvariablen und existenziell quantifizierte Datentypen. Trotzdem geben die Leute Pseudocode der Form anexists a. Int -> a Manchmal scheint es keine Compilererweiterung zu sein, an der ein echtes Interesse ...
Was ist und wann soll das forSome-Schlüsselwort von Scala verwendet werden?
Was ist der Unterschied zwischenList[T] forSome {type T} undList[T forSome {type T}]? Wie lese ich sie auf "Englisch"? Wie soll ichgrok dasforSome Stichwort? Was sind einige praktische Verwendungen vonforSome? Was sind einige nützliche praktische ...
Seite 1 von 2