haskell - Haskell中的撇号是什么意思？

Question

有时我会看到带有以下表达式的代码:

example = example' []

或者这些功能之间有什么不同？

foldl
foldl'

Answer 1

'只是另一个标识符字符，就像任何其他字符一样。 foldl'是一个完全独立于 foldl 的函数;它也可以称为 strictFold .之所以这么称呼，是因为它与foldl密切相关。 : 这是一个 foldl在每一步都对累加器进行评估，这样就不会产生大的 thunk。例如，foldl (+) 0将溢出大列表上的堆栈，但 foldl' (+) 0惯于。

一般情况下，' 的后缀表示三件事之一:foo'要么是为定义 foo 而创建的辅助定义。 ，foo 的修改版本(即 state 、 state' 和 state'' 可以是初始状态和两个更新版本)，或 foo 的严格版本.