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中的约定是,就像在数学中一样,变量名上的撇号表示与先前变量有某种程度相关或类似的变量.

一个例子:

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

它只是标识符中允许的另一个字符.把它想象成另一封信.