Verwendung von Emoji in Haskell

Question

Ich bin kürzlich auf einen Bot auf Twitter namens EmojiHaskell gestoßen, der behauptet, "interpretierbaren Haskell-Code mit Emoji-Variablennamen" zu twittern. Ein besonderes Tweet erregte meine Aufmerksamkeit, da es für mich wie missgebildete Syntax aussah, also entschied ich mich, genauer hinzusehen. Bisher habe ich den folgenden Code produziert haben:

module Main where 

:: [] -> Maybe 
[] = Nothing 
(:as) = Just 

main = print $ "♥" 

Da ich λ gelegentlich in meinem Haskell-Code verwendet haben, erwartete ich diesen Code zu arbeiten, aber es scheint, dass GHC nicht die Emoji mag überhaupt .

Mit $ runhaskell Main.hs ich:

Main.hs: 4: 1: Parsen Fehler bei der Eingabe ''

Ich habe bereits einen Blick auf die UnicodeSyntax Erweiterung hatte, und versuchte, um nur ein oder ein einzelnes Emoji anstelle von allen zu verwenden, um zu sehen, ob ein bestimmtes das Problem provoziert.

Jetzt ist meine Frage: Gibt es derzeit einen Haskell-Compiler, der den Code akzeptieren würde? Kann ich GHC irgendwie mit diesem Code arbeiten?

Answer 1

Dieser Code ist ungültig haskell. Der Grund dafür ist, dass (wie wahrscheinlich alle Emojis) ist ein Symbolzeichen:

Prelude> import Data.Char 
Prelude Data.Char> generalCategory '' 
OtherSymbol 

Aber man kann sie immer noch wie jedes andere Symbol verwenden, nämlich als Betreiber:

Prelude Data.Char> let() = (+) 
Prelude Data.Char> 32 42 
74 

Weiterhin als user3237465 wies darauf hin, wenn Sie das Präfix Syntax für Operatoren, also setzen sie in Klammern, können Sie es sogar wie jedes andere Symbol verwenden:

() :: [a] -> Maybe a 
() [] = Nothing 
() (():as) = Just() 

main = print $() "♥" 

Dies ist fast das Beispiel in der ursprünglichen Nachricht. Leider funktioniert dieser Trick nicht für die Typvariable. Die the documentation ist ein bisschen leider formuliert, aber in fact Symbole sind nie Typ Variablen und immer Typ Konstruktoren