Syntaxregeln für Haskell Infix Datentyp Konstrukteurs

Question

Ich versuche, ein Haskell-Datentyp ein bisschen wie ein Python-Wörterbuch zu machen, ein Rubin-Hash oder ein JavaScript-Objekt, in dem eine Zeichenfolge auf einen Wert verknüpft ist, etwa so:

data Entry t = Entry String t 
type Dictionary t = [Entry t] 

Der obige Code funktioniert gut. Ich möchte jedoch einen etwas netteren Konstruktor, also habe ich versucht, es so zu definieren:

Dies schlug fehl. Ich habe es versucht:

data Entry t = [Char] ~> t 

Erneut ist es fehlgeschlagen. Ich weiß, dass ~ besondere Bedeutung in Haskell hat, und GHCi erlaubt noch die Bediener ~>, aber ich habe noch eine andere Art und Weise versucht:

data Entry t = [Char] & t 

Und noch einen weiteren Ausfall durch Fehler analysieren. Das finde ich verwirrend, weil aus irgendeinem unerklärlichen Grund, dies funktioniert:

data Entry t = String :> t 

Bedeutet dies, dass es bestimmte Regeln für welche Zeichen in Infix Typkonstruktoren auftreten können, oder ist es eine Besetzung von Fehlinterpretationen. Ich bin kein Neuling in Haskell, und ich bin mir bewusst, dass es idiomatischer wäre, den ersten Konstruktor zu verwenden, aber dieser hier stopft mich, und es scheint ein wichtiger Teil von Haskell zu sein, dass ich vermisse.

Answer 1

Jeder Operator, der mit einem Doppelpunkt beginnt : ist ein Typkonstruktor oder ein Datenkonstruktor, mit Ausnahme von (->). Wenn Sie die Tilde wollen, könnten Sie :~> verwenden, aber Sie werden nicht damit durchkommen, etwas zu verwenden, das nicht mit einem Doppelpunkt beginnt. Source