Haskell ' 符号有什么作用？

Question

如标题所述，我在网上看到一些代码，其中变量/函数旁边有 '，这是什么意思？例如:

function :: [a] -> [a]
function ...

function' :: ....

Answer 1

符号来自数学。它被读作 x 素数。在几乎所有数学手册中，您都可以找到类似令 x 为数字且 x' 为...(数学资料)的投影。

为什么不使用其他约定？好吧，在数学中它很有意义，因为它可以非常有教育意义......在编程中我们不习惯这个约定所以我不明白使用它的意义，但我也不反对它。

只是给你一个它在数学中的用法的例子，这样你就能理解为什么它被用在 Haskell 中。下面是相同的三角形概念，但一个使用 prime 约定，另一个不使用它。在第一张图片中很清楚配对 (A, A'), (B, B' ), ... 相关的一个是顶点，prime 版本是对边的中点。而在第二个示例中，您只需记住 A 是顶点 P 对边的中点。首先更容易，更具教学意义: