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 ...
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 @ ...
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}] ...
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] ...
Was ist die theoretische Grundlage für existenzielle Typen?
DasHaskell Wiki erklärt gut, wie man existenzielle Typen benutzt, aber ich kann die Theorie dahinter nicht recht verstehen.Betrachten Sie dieses Beispiel ein...
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, ...
Hat ein Unterstrich (_) in Type Bounds eine besondere Bedeutung?
Ich versuche, Scalas existenzielle Typen zu verstehen.Gibt es einen Unterschied zwischen:
Skalatyp-Inferenz auf einen existenziellen Typ
Betrachten Sie den folgenden Codeausschnitt, der eine reduzierte Version meines ursprünglichen Problems ist:
Seite 1 von 2