理解兩個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簽名中的類型統一，如果這是期望。 更多詳細信息可在文檔中找到 。

如果沒有仔細閱讀本文，我無法確定，但我強烈打賭后者正在這里發生。