「Ambigous型變量」錯誤定製定義當「讀出」功能

Question

雖然試圖編譯下面的代碼，讀取從安全包材上readMay其增強版本。

readI :: (Typeable a, Read a) => String -> a 
readI str = case readMay str of 
       Just x -> x 
       Nothing -> error ("Prelude.read failed, expected type: " ++ 
           (show (typeOf > (undefined :: a))) ++ 
           "String was: " ++ str) 

我得到一個錯誤從GHC：

WavefrontSimple.hs：54：81：
歧義類型變量'A '中的約束：
'分型一個'
從所產生在src/WavefrontSimple.hs中使用`typeOf'：54：81-103
可能的修復：添加修復這些類型變量的類型簽名`

我不明白爲什麼。我應該修正什麼以達到我的意思？

編輯：好的，所以解決方案使用ScopedTypeVariables和forall a在簽名作品。但爲什麼以下產生與上述相似的錯誤？由於使用了asTypeOf :: a -> a -> a，因此編譯器應推斷正確的類型。

readI :: (Typeable a, Read a) => String -> a 
readI str = let xx = undefined in 
      case readMay str of 
       Just x -> x `asTypeOf` xx 
       Nothing -> error ("Prelude.read failed, expected type: " 
           ++ (show (typeOf xx)) ++ 
           "String was: " ++ str) 

Answer 1

後者不起作用，因爲xx類型是一樣的undefined類型 - 即「FORALL一個一個。」您強制xx與asTypeOf運算符一起使用的具體類型並不意味着它在其他地方的多態性較少。

Answer 2

我認爲你需要有範圍的類型變量。

{-# LANGUAGE ScopedTypeVariables #-} 
readI :: forall a. (Typeable a, Read a) => String -> a 
readI str = case readMay str of 
       Just x -> x 
       Nothing -> error ("Prelude.read failed, expected type: " ++ 
           (show (typeOf > (undefined :: a))) ++ 
           "String was: " ++ str) 

See also。

Answer 3

在undefined :: a和readI :: (Typeable a, Read a) => String -> a的a是不一樣的類型a。這就好像你寫了readI :: ... a; readI = ... (undefined :: b)。

{-# LANGUAGE ScopedTypeVariables #-} 

readI :: forall a. (Typeable a, Read a) => String -> a 
... 

scoped type variables的擴展名改變Haskell語言以允許您攜帶類型變量a從外範圍內的範圍，若與forall明確地定量。

---

我不知道爲什麼你的x `asTypeOf` xx似乎沒有工作。這個呢，雖然：

readI :: (Typeable a, Read a) => String -> a 
readI str = xx where 
    xx = case readMay str of 
      Just x -> x 
      Nothing -> error ("Prelude.read failed, expected type: " 
           ++ (show (typeOf xx)) ++ 
           "String was: " ++ str)