higher-kinded-types

Bei einem einfachen parametrisierten Typ wie class LK[A] kann ich schreiben %Vor% Nun möchte ich ein Analog für class HK[F[_], A] schreiben: %Vor% Ist das möglich? Ich habe es versucht %Vor% funktioniert aber aus den offensicht...

Ich verwende das implizite Def, um einen rekursiven HList -Typ zu erstellen, um mehrere Arten von höher bewerteten Typen von HList zu erreichen. Ich bin stark inspiriert von diesem Beitrag . Dieser Code funktioniert perfekt: %Vor%...

Ich habe eine Frage bezüglich Typinferenzierung auf Scala Typ-Konstruktoren. Ich benutze Scala 2.9.1 ... Angenommen, ich habe Tree definiert: %Vor% Und einen BinaryTree basierend auf meiner Baumdefinition definiert: %Vor% Ich kann jet...

Ich arbeite an der Verwendung von Monad-Transformatoren in C #. Ich würde gerne wissen, ob der folgende Code, den ich präsentiere, zeigt, dass ich das verstanden habe. Ich bin ziemlich neu, also sind alle Rückmeldungen / Kommentare wirklich wi...

Ich bin kürzlich auf ein Problem gestoßen. Ich versuche, "tail-nested" Tupel auf eine Compiler-freundliche Weise zu verflachen, und ich habe den folgenden Code entwickelt: %Vor% Dieser obige Code eignet sich gut zum Reduzieren von Tupeln, di...

Ich versuche, den Polymorphismus höherer Ordnung in scala zu begreifen, indem ich eine sehr einfache Schnittstelle implementiere, die eine Monade beschreibt, aber ich stoße auf ein Problem, das ich nicht wirklich verstehe. Ich habe dasselbe m...