higher-kinded-types

10Hitze

1Antwort

Constructing TypeTags höherer kinded Typen

eine einfache parametrisierte Typ wie class LK[A] Da kann ich // or simpler def tagLK[A: TypeTag] = typeTag[LK[A]] def tagLK[A](implicit tA: TypeTag[A]) = typeTag[LK[A]] tagLK[Int] == typeTag[LK[In

15Hitze

1Antwort

Vorstellung für eine Art der Typ in Scala vs Haskell

Wenn für die Art von [Int] und [] in Haskell zu fragen ich: Prelude> :k [Int] [Int] :: * Prelude> :k [] [] :: * -> * was Sinn macht: Die erste ist eine richtige Art und die zweite ist eine höher

5Hitze

1Antwort

Unterschied zwischen Member-Deklaration höher-kinged Typ

Mit Blick auf die Quellen für Shapeless-Bibliothek, ich habe Aufmerksamkeit auf verschiedene höher-kinged Typ Member-Deklaration und fragen, ob es einige konkrete Unterschiede in der Verwendung hat. Z

14Hitze

4Antwort

Warum wird Int übergeben, wo ein F [_] Parameter erwartet wird?

Sagen wir, wir haben eine Funktion: def bar[F[_], A](x: F[A], y: F[A]) = null das All folgende Verhalten sind klar: bar(List(1, 2, 3), List(1)) // compile ok bar(List(1), Some(1)) // doesn't compil

6Hitze

1Antwort

Scala mit unförmigen höher kinded Koprodukte über eine natürliche Transformation zu kombinieren

eine Reihe von ADT gegeben, die Zum Beispiel zwei verschiedene Untersätze haben: sealed trait Domain[Y] sealed trait Command[Y] extends Domain[Y] sealed trait Query[Y] extends Domain[Y] case class

5Hitze

2Antwort

Unterdrückung @unchecked Warnung für einen höheren kinded existentiellen Typen

In Scala 2.10 gegeben class Foo[F[_]] ich nicht scala> x.isInstanceOf[Foo[_]] <console>:10: error: _$1 takes no type parameters, expected: one x.isInstanceOf[Foo[_]] ^ oder scala

0Hitze

1Antwort

Erklärung der all die verschiedenen Möglichkeiten zu erklären höhere kinded Typen in scala

Ich versuche, zwischen den folgenden Typ Parameterdeklarationen trait T[X] // X could be co/contravariant trait TSub[X <: AnyRef] extends T[X] // bounded def m1[T0[A0] <: T[_]] = ??? def m2[T0[A

5Hitze

3Antwort

Wie definiere ich einen existenziellen höheren Typ in Scala?

Ich habe versucht, einen Typ zu definieren, der in Scala einen existentiell höheren Typ akzeptiert. Leider Scalac erlaubt es nicht. Welcome to Scala version 2.11.7 (Java HotSpot(TM) 64-Bit Server VM,

8Hitze

1Antwort

Scala höher kinked Typen im impliziten Def fehlschlägt mit "Konnte nicht impliziten Wert finden"

Ich verwende implizite Def, um eine rekursive HList Art zu erstellen, um mehrere Arten von höher verbundenen Typen von HList zu entsprechen. Ich bin stark inspiriert von this post. Dieser Code perfekt

6Hitze

1Antwort

Typ Informationen verloren gehen, wenn mit hoch-kinded Objekte in Scala

Ich versuche, etwas Code zu faktorisieren und am Ende mit höher-kinded Typen arbeiten musste. Die folgende minimal Beispiel funktioniert: trait Builder[M[_]] { def build[A]: M[A] def buildPa