如何指定內聯類型中使用的類型變量，是否與函數定義中使用的類型變量相同？

Question

（道歉，如果我的術語是錯誤的）。

我想寫處理異常的包裝功能：如果給定IO動作拋出，則返回Nothing（當然是IO上下文中），但如果給定IO行動成功，則返回Just v。

tryMaybe :: IO a -> IO (Maybe a) 
tryMaybe action = do 
    result <- (try action) :: IO (Either SomeException a) 
    return $ case result of 
     Left _ -> Nothing 
     Right v -> Just v 

這將導致編譯器錯誤消息：

Couldn't match type `a' with `a1' 
     `a' is a rigid type variable bound by 
      the type signature for tryMaybe :: IO a -> IO (Maybe a) 
      at src/Database.hs:33:13 
     `a1' is a rigid type variable bound by 
      an expression type signature: IO (Either SomeException a1) 
      at src/Database.hs:35:15 
    Expected type: IO a1 
     Actual type: IO a 
    In the first argument of `try', namely `action' 

我猜測，在第一線的類型變量a是不一樣的，在第三行a - 他們只是恰巧在源代碼中具有相同的名稱，並且編譯器在錯誤消息中將其重命名爲a1。

那麼，我如何告訴Haskell這些是相同的類型呢？

Answer 1

您需要啓用ScopedTypeVariables擴展和變化的頂級函數的類型簽名與forall a .開始：

{-# LANGUAGE ScopedTypeVariables #-} 

... 

tryMaybe :: forall a . IO a -> IO (Maybe a) 
... 

的forall語法帶來的類型變量a到範圍爲整個身體的tryMaybe，而不僅限於默認的類型簽名。這主要是歷史反常現象，而不是故意的設計。