___ tag123haskell ___ Haskell ist eine funktionale Programmiersprache mit starker statischer Typisierung, verzögerungsfreier Auswertung, umfangreicher Parallelitäts- und Parallelitätsunterstützung und einzigartigen Abstraktionsfunktionen.
___ tag123datakinds ___ Für Haskell Fragen über die Erweiterung '-XDataKinds' in GHC. Mit -XDataKinds fördert GHC automatisch jeden geeigneten Datentyp als eine Art und seine (Wert-) Konstruktoren als Typkonstruktoren.
___ tag123patternsynonyme ___ Abstraktion von Mustern im Mustervergleichssinn
___ qstntxt ___
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 mache ich etwas falsch?
___ answer36321053 ___
Danke dfeuer's Kommentar und dieses Ticket , ich konnte meinen Beispielcode kompilieren, indem ich der Musterdefinition eine Typensignatur hinzufügte :
%Vor%
Das verallgemeinert sich auch gut zu polymorphen Mustern
%Vor%
___ qstnhdr ___ Muster-Synonym kann Typen in der Typenliste nicht vereinheitlichen
___