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

Question

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

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

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

使用数学符号非常方便（我认为）。如何在 ghci?

中使用它

Answer 1

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

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