理解两个Haskell签名之间的区别，一个使用forall

Question

在本文中，有一个具有以下签名的函数：

vreplicate :: forall a n . SNatI n => a -> Vec a n 

这个签名和没有forall签名有什么区别：

vreplicate :: SNatI n => a -> Vec a n 

？ 我的印象是，没有forall ，它隐含意味着与前面的forall相同，它命名所有类型变量。

Answer 1

有两个重要的案例，其中包括forall 。 第一个是forall的位置可以改变一个类型的含义 - 如果它出现在箭头的左边，这意味着函数的参数比其他情况“更多态”。 这种差异是一个基本的差异; 但是，它似乎并不适用于此。

第二个区别是语法（而不是基本），即：在存在ScopedTypeVariables的情况下，由forall绑定的变量打开一个打字范围，而没有forall隐式绑定的变量则不会。 因此，在vreplicate的主体中，可以使用类型变量a和n并确保它们引用与vreplicate的签名中提到的相同类型。 如果没有forall （或没有ScopedTypeVariables ），在vreplicate主体中使用a和n会引入新的通用量化变量，并且程序员有责任确保它们与vreplicate签名中的类型统一，如果这是期望。 更多详细信息可在文档中找到 。

如果没有仔细阅读本文，我无法确定，但我强烈打赌后者正在这里发生。