在 Haskell 中使用表情符号

Question

我最近在 Twitter 上遇到了一个名为 EmojiHaskell 的机器人，它声称会在推特上发布“带有表情符号变量名的可解释 Haskell 代码”。一个特别的Tweet 引起了我的注意，因为它对我来说看起来像是格式错误的语法，所以我决定仔细看看。到目前为止，我已经生成了以下代码：

module Main where

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

main = print $ ???? "♥"

由于我有时在我的 Haskell 代码中使用了 λ，我希望这段代码可以工作，但 GHC 似乎根本不喜欢这个表情符号。

$ runhaskell Main.hs 我得到：

Main.hs:4:1: 输入‘????’时解析错误

我已经看过UnicodeSyntax 扩展， 并尝试只使用一些或单个表情符号而不是全部使用，以查看是否是某个人引起了问题。

现在我的问题是： 目前是否有可以接受代码的 Haskell 编译器？ 我可以让 GHC 以某种方式使用此代码吗？

Answer 1

该代码不是有效的haskell。原因是?（可能是所有表情符号）是一个符号字符：

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

但是您仍然可以像使用任何其他符号一样使用它们，即作为运算符：

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

此外，正如 user3237465 所指出的，如果您对运算符使用前缀语法，即把它放在括号中，您甚至可以像使用任何其他符号一样使用它：

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

main = print $ (?) "♥"

这几乎是原始帖子中的示例。不幸的是，这个技巧不适用于类型变量。 the documentation 措辞有点遗憾，但 in fact 符号永远不是类型变量，始终是类型构造函数