ich dies habe in Haskell Code gesehen:Daten QueryParam (sym :: Symbol) a - was bedeutet das?
data QueryParam (sym :: Symbol) a
Was bedeutet das? Wo ist ein Konstruktor? Ist es ein gültiger Code ohne Erweiterung?
ich dies habe in Haskell Code gesehen:Daten QueryParam (sym :: Symbol) a - was bedeutet das?
data QueryParam (sym :: Symbol) a
Was bedeutet das? Wo ist ein Konstruktor? Ist es ein gültiger Code ohne Erweiterung?
Ja, das ist eine Datendeklaration ohne Konstruktor - Erklärungen wie dies darauf hindeuten, dass der Typ QueryParam
ein Art Typen hat Symbol
Es mit Informationen verwendet wird, die an einer Typ-Ebene arbeitet - es ist vergleichbar mit data QueryParam a = QueryParam Symbol a
, aber auf der Typenebene anstelle der Wertebene.
Ist es gültiger Code ohne Erweiterung? –
Sie benötigen KindSignatures und vielleicht EmptyDataDecls. –
Wissenswertes: EmptyDataDecls wurde in Haskell 2010 hinzugefügt, so dass Sie es nicht einschalten müssen, normalerweise – hao