函數名稱的別名具有不同的類型簽名。爲什麼？

Question

import Data.List (genericLength) 

len = genericLength 

:t genericLength 
genericLength :: (Num i) => [b] -> i 
:t len 
len :: [b] -> Integer 

爲什麼len的類型與genericLength的類型不同？此處的目的是爲genericLength使用較短的別名。

haskell函數不是一流的嗎？不應該給另一個函數名稱導致相同的功能？

Answer 1

你在這裏看到的是因爲要求頂級聲明沒有參數是單態。您可以在GHC用戶指南中找到some discussion of the reasons for this on the Haskell wiki以及關於controlling this behavior的一些信息。

作爲一種說明，注意給len參數解決了這個問題：

len x = genericLength x 

> :t len 
len :: Num i => [b] -> i 

因此，沒有給它一個類型簽名：

len :: (Num b) => [a] -> b 
len = genericLength 

也是如此關閉單態的限制：

{-# LANGUAGE NoMonomorphismRestriction #-} 
import Data.List (genericLength) 

len = genericLength 

> :t len 
len :: Num i => [b] -> i 

在這個特定的情況下，我認爲你也會有所不同因爲違約指定某些類型類別應該默認爲特定類型的規則（在這種情況下，Num默認爲Integer）的規則類型（而不是編譯器錯誤）。如果你嘗試用fmap做同樣的事情，你得到這個：

> :r 
[1 of 1] Compiling Main    (MonoTest.hs, interpreted) 

MonoTest.hs:4:5: 
    Ambiguous type variable `f0' in the constraint: 
     (Functor f0) arising from a use of `fmap' 
    Possible cause: the monomorphism restriction applied to the following: 
     f :: forall a b. (a -> b) -> f0 a -> f0 b 
     (bound at MonoTest.hs:4:1) 
    Probable fix: give these definition(s) an explicit type signature 
        or use -XNoMonomorphismRestriction 
    In the expression: fmap 
    In an equation for `f': f = fmap 
Failed, modules loaded: none. 

您可以找到有關在Haskell 98 Report違約的一些信息。我還會提到GHC支持一種擴展形式的默認設置，主要用於GHCi（默認情況下啓用），偶爾會讓人感到困惑。