Haskell RankNTypes - 功能域的限制

Question

不明白为什么会这样，指的是：Rank2Types的目的是什么？-> @dfeuer 解释：

... 要求参数是多态的不仅允许它与多种类型一起使用；它还限制了该函数可以用它的参数做什么以及它如何产生它的结果......

f :: (forall a . [a] -> a) -> IO ()

...事实上，没有函数返回不在给定列表中的元素会进行类型检查

在对 rank-N 类型的任何解释中，我都没有看到这种效果（或好处）的描述，大部分时间是关于让被调用者选择类型等的故事......这对我来说很清楚并且易于掌握但是我看不出我们可以通过哪种美德（仅扩展等级）来控制/限制功能域（和共域）...

如果有人可以更深入地了解此处涉及的 rankN 机制。谢谢

Answer 1

想想你在顶层声明的多态函数。带有签名的函数

foo :: [Int] -> Int

有很多可能的实现，比如

foo = sum

foo = length

foo _ = 39

但如果签名是合法的，这些都不合法

foo :: [a] -> a

因为那样你就不能给出一个整数作为结果——你必须提供调用者要求的任何类型的结果。因此实现受到更多限制：结果必须来自输入列表，因为a无论调用者实际将其实例化为什么，这是您知道元素具有类型的唯一地方。只有像

foo = head

然后会工作。

您的 RankN 签名要求其参数是这样的多态函数，即参数不能是 a ，[Int] -> Int而只能是更具限制性的[a] -> a。