windows - 如何在 ghci 中使用数学符号(函数名)？

Question

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

(∀) :: (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 中可能很常见，但当尝试与多人、在不同平台上等处理同一代码时，它可能会变得很烦人。