haskell - 多态推理

Question

我正在学习 Haskell，在互联网上我发现的是 paper来自菲利普·瓦德勒。
我读了它，但根本不明白，但它以某种方式与多态函数联系起来。

例如:

polyfunc :: a -> a -> a

它是任何类型的多态函数。

与示例 polyfunc 相关的自由定理是什么？

Answer 1

我觉得如果我真的理解了那篇论文，那么我写的任何代码都将是上帝共同创作的。

我对这个问题的最佳猜测是，polyfunc 所能做的就是要么总是返回第一个参数，要么总是返回第二个参数。所以polyfunc实际上只有两种实现，

polyfuncA a _ = a
polyfuncB _ b = b

本文为您提供了一种证明该主张的方法。

这是一个非常重要的概念。例如，我之前曾参与过数据质量研究。这个自由定理表明，不存在可以从任意两个数据中选择最佳数据的函数。我们必须了解更多东西。这实际上是理所当然的事情，我很惊讶地发现有些人愿意忽视这一点。