我怎样才能在ghci中使用math符号(函数名称)?

我正在学习Haskell。 我看到一个作者在代码中使用了一些math的Unicode字符(例如 )。 我也尝试使用它,例如:

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

ghci加载这个成功,但我不能调用这个function…当我尝试从剪贴板粘贴到ghci控制台的符号,没有任何反应(Windows 7, Lucida控制台字体)。

这是非常方便的 – 使用math符号(在我看来)。 我怎样才能在ghci使用它?

Solutions Collecting From Web of "我怎样才能在ghci中使用math符号(函数名称)?"

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

我建议不要使用实际的非ASCII字符作为标识符; 它可能在Agda中很常见,但是当试图在多个人,不同平台上工作相同的代码时,可能会变得很烦人。