haskell - 哪个 KeyBoard/KeyBoard Layout 最适合 Haskell 编程？ haskell 是否将所有数学符号都作为函数？

Question

作为haskell 的绝对初学者，我一直在阅读有关haskell 的各种文章、pdf 和教程。大多数示例/示例代码都包含数学字符。即使是打字的常见任务

->

我必须输入: - & >

事实是我不知道如何在 emacs 中输入数学字符(我用于练习 Haskell 编码)。我目前的键盘布局是“美国英语”。

是否有任何特定的键盘或键盘布局最适合输入数学符号(用于 Haskell 编程)？

haskell 是否将所有数学符号都作为函数？我目前的假设是 haskell 必须支持所有数学符号作为函数。

例如+, - ,/, * 等

Unicode Math Symbols
注意:这些符号可以在许多 haskell 论文中看到。

Answer 1

你不必使用你在论文中看到的花哨的 unicode 符号——代替 → 你可以写 ->对每个特殊字符依此类推。鉴于此，Haskell 可以完美地找到正常的美国 Qwerty 布局。

但是，如果您发现 → 样式更易于阅读(但显然输入起来并不容易)，您可以让 Emacs 显示带有这些符号的代码。这完全是装饰性的，就像语法高亮:即使你看到了 →，源代码仍然有 ->这仍然是您键入的内容。您可以这样启用它:

(setq haskell-font-lock-symbols t)

这种符号模式可能会使您的某些缩进看起来有点奇怪。但是，我已经使用它一段时间了，完全没有问题。当我的代码使用漂亮的符号代替 ASCII 代理时，我当然更喜欢看它。

所以你仍然输入 -> 但它看起来更漂亮。

但是，有时您确实需要像希腊字母这样的花哨符号。例如，如果您正在实现论文中的算法，则保持变量名称相同可能是有意义的。为此，您可以通过 C-\ 使用 Emacs 的 TeX 输入模式。并输入 TeX .例如，这将允许您输入 \lambda并得到一个 λ .要查看您可以输入的完整符号列表，请运行 M-x describe-input-method然后输入 TeX .

最后:Haskell 确实支持所有“数学符号”，如 + 和 - 作为运算符。事实上，任何由这些字符组成的标识符都是自动中缀的。因此，您实际上可以定义自己的运算符。你可以这样写:

a +++ b = a * a + b * b

然后你就可以使用 +++函数在中缀位置，就像任何其他运算符一样。我相信 Haskell 通过查看其 Unicode 类别来确定哪些字符是“操作符字符”，这意味着您可以定义(我实际上已经定义了)像 × 这样的操作符。 .

总而言之:Haskell 代码不需要任何特殊符号——它都可以是 ASCII。如果您发现这些符号易于阅读，您可以让 Emacs 使用这些符号呈现 ASCII Haskell 代码，并且您实际上可以使用 TeX 输入模式输入它们。