data-kinds

Ich habe eine interessante Situation gefunden, wenn ich Datenarten mit Typfamilien verwende. Die Fehlermeldung des Compilers lautet No instance for (C (ID ())) arising from a use of W . Es deutet darauf hin, dass eine Anwendung der Typfamil...

Ich habe mit GHC's DataKinds herumgespielt und versucht, binäre Nats vom Typ-Level zu implementieren. Sie sind einfach genug zu implementieren, aber wenn ich möchte, dass sie in häufigen Fällen nützlich sind, dann muss GHC glauben, dass die Suc...

Gibt es einen Grund, warum dieser Code nicht kompiliert wird: %Vor% mit Fehler: %Vor% Aber wenn ich die Typ-Familien-Definition in ändere %Vor% es ist gut zusammengestellt? (ghc-7.10.3)     

Ich habe kürzlich mit -XDataKinds gespielt und würde gerne eine erweiterte Struktur mit Typfamilien erstellen und auf die Wertebene zurückziehen. Ich glaube, dass dies möglich ist, weil die kompositorischen Komponenten sehr einfach sind und d...

Ich erhalte einen Fehler, wenn ich versuche, ein Muster-Synonym zu definieren auf einer GADT mit einer Liste auf Typenebene. Ich habe es geschafft, es auf dieses Beispiel zu reduzieren: %Vor% Gibt mir: %Vor% Ist das ein Fehler, oder m...