' 的含义 在 Haskell 函数名中？

Question

引用 ' 的用途是什么？ 我已经阅读了有关柯里化函数的内容，并阅读了定义 add 函数的两种方法 - 柯里化和非柯里化。 柯里化版本...

myadd' :: Int -> Int -> Int
myadd' x y = x + y

...但在没有引用的情况下它也同样有效。 那么'有什么意义呢？

Answer 1

这句话对哈斯克尔来说毫无意义。 它只是该函数名称的一部分。

人们倾向于将其用于“内部”功能。 如果您有一个使用累加器参数对列表求和的函数，则您的 sum 函数将采用两个参数。 这很丑陋，所以你创建了一个包含两个参数的 sum' 函数，以及一个包含一个参数的 sum 函数，例如 sum list = sum' 0 list。

编辑，也许我应该只显示代码：

sum' s [] = s
sum' s (x:xs) = sum' (s + x) xs

sum xs = sum' 0 xs

您这样做是为了使 sum' 是尾递归的，并且“公共 API”看起来很漂亮。

Answer 2

它通常发音为“prime”，因此将是“myadd prime”。 它通常用于表示计算的下一步或替代方案。

所以，你可以说

add = blah
add' = different blah

或者

f x = 
  let x' = subcomputation x
  in blah.

它只是一种习惯，就像在 Java、C 等的 for 循环中使用 int i 作为索引。

编辑：既然我已经添加了所有单词和代码格式，这个答案希望更有帮助。 :) 我一直忘记这不是一个所见即所得的系统！

Answer 3

在本例中，' 字符没有特殊意义； 它只是标识符的一部分。 换句话说，myadd 和 myadd' 是不同的、不相关的函数。

但按照惯例，' 用于表示某种逻辑求值关系。 因此，假设函数 myadd 和 myadd' 是相关的，这样 myadd' 可以从 myadd 派生。 这是源自学术界（Haskell 的根源）的形式逻辑和证明的惯例。 我应该强调，这只是一个约定，Haskell 并不强制执行它。

Answer 4

quote ' 只是 Haskell 名称中另一个允许的字符。 它通常用于定义函数的变体，在这种情况下，quote 发音为“prime”。 具体来说，Haskell 库使用 quote-variants 来表明变体是严格的。 例如：foldl 是惰性的，foldl' 是严格的。

在这种情况下，看起来引号只是用于分隔柯里化和非柯里化变体。

Answer 5

正如其他人所说， ' 对 Haskell 本身没有任何意义。 它只是一个字符，就像字母或数字一样。

' 用于表示函数的替代版本（在 foldl 和 foldl' 的情况下）或辅助函数。 有时，您甚至会在函数名称上看到几个 '。 在函数名称末尾添加 ' 比编写 someFunctionHelper 和 someFunctionStrict 更加简洁。

这种表示法起源于数学和物理学，如果有一个函数 f(x)，它的导数通常表示为 f'(x)。