如何在ghci中使用数学符号（函数名称）？

Question

我正在学习Haskell。我看到作者在代码here（例如∀）中使用了一些数学unicode字符。我也尝试使用它，例如：

(∀) :: (a -> b) -> [a] -> [b]
f ∀ [] = []
f ∀ (x:xs) = f x : f ∀ xs

ghci加载此成功，但我无法调用此函数...当我尝试将∀符号从剪贴板粘贴到ghci控制台时，没有任何反应（Windows 7 ， Lucida console 字体）。

使用数学符号（在我看来）非常方便。如何在ghci？

中使用它

Answer 1

获取视觉效果的最常用方法是使用支持ligatures的字体和文本编辑器，例如Hasklig。这样它就像你想要的那样看起来，但是它被保存为常规的ASCII文件，这使得使用不支持该技术的工具变得更加容易。

我建议反对使用实际的非ASCII字符作为标识符;它可能在Agda中很常见，但在尝试使用多个人，在不同平台上处理相同代码时，它会变得非常烦人。等等。