Haskell 中标识符中的撇号

Question

我在互联网上发现了这段代码：

digits 0 = [0]
digits n = digits' n []
  where digits' 0 ds = ds
        digits' n ds = let (q,r) = quotRem n 10
                       in digits' q (r:ds)

sumOfDigits = sum . digits

有人能快速解释一下递归函数调用后的“ ' ”符号（ digits n =digits' n [] ）的用途吗？我在 Haskell （教程）中看到了一些其他代码示例，但我不明白这个。快速解释表示赞赏。

Answer 1

撇号只是名称的一部分。它是 Haskell 中采用的命名约定（惯用语）。

Haskell 中的约定是，就像数学中的一样，变量上的撇号name 表示与先前变量以某种方式相关或相似的变量。

例如：

let x  = 1
    x' = x * 2
in x'

x' 与 x 相关，我们用撇号表示。

---

顺便说一下，你可以在 GHCi 中运行它，

Prelude> :{ 
Prelude| let x  = 1
Prelude|     x' = x * 2
Prelude| in x'
Prelude| :}
2

Answer 2

它只是标识符中允许的另一个字符。将其视为另一封信。