Ich schreibe einen XML (de) Serializer mit Text.XML.Light und Scrap your Boilerplate (unter Ссылка ) und bis jetzt habe ich Arbeitscode für "normale" ADTs, aber ich bin bei der Deserialisierung von Existenzen fest.
Ich habe den existentiellen Datentyp
erhalten %Vor%und ich versuche, dies zu kompilieren
%Vor% aber ich kann nicht herausfinden, wie man gunfold für DataBox implementiert.
Die Fehlermeldung ist
%Vor% Es beschwert sich darüber, dass es nicht möglich ist, den Datentyp von b herauszufinden.
Ich versuche auch, dataCast1 und dataCast2 zu implementieren, aber ich denke, ich kann ohne sie leben (d. h. eine falsche Implementierung).
Ich denke, meine Fragen sind:
Ist es möglich, GADTs mit Scrap your Boilerplate zu kombinieren?
Ich denke, du musst Haskell-Cafe @ fragen. Dies ist möglicherweise eine Forschungsfrage.
Tags und Links haskell reflection generics