Question

我一直在调整Haskell，试图理解错误处理。在这样做的同时，我试图了解如何阅读和理解GHC的输出，以便我可以更好地调试类型错误。

我已经写了以下测试：

import System.Environment
import qualified Control.Exception as Ex

getNum :: Int -> Int
getNum i = (!!) [1,2,3,4] i

outNum :: Int -> IO()
outNum i = Ex.catch (putStrLn(show (getNum i))) (\err -> putStrLn (show err))

main = do
   args <- getArgs
   outNum 3

这引发了以下错误：

使用'Ex.catch'产生的模糊类型变量'a0'阻止约束'（Ex.Exception a0）'被解决。

查看所涉及功能的定义：

catch :: IO a -> (IOError -> IO a) -> IO a
putStrLn :: String -> IO ()
show :: Show a => a -> String
error :: [Char] -> a

我正在考虑并思考，a的类型必须是()（单位类型）。我误解了什么，应该如何管理我的示例，以便捕获异常并显示错误？

Answer 1

GHC不知道为什么要捕获的异常类型。

例如，这个版本的outNum将捕获任何IOException：

outNum :: Int -> IO()
outNum i = Ex.catch (putStrLn(show (getNum i)))
           (\err -> putStrLn (show (err :: Ex.IOException)))

您可以使用Ex.SomeException捕获所有异常。但是，请参阅关于在Control.Exception docs

中执行此操作的注释

要了解几种不同的例外情况，请参阅catches function

<强>更新

指示您感兴趣的异常类型的另一种方法是将处理程序定义为命名函数并提供＆＃34; normal＆＃34; 类型签名：

outNum i = Ex.catch (putStrLn (show (getNum i))
            handler
  where handler :: Ex.IOException -> IO ()
        handler err = putStrLn $ "caught: " ++ show err

通常您会看到catch被写为中缀运算符：

outNum i = putStrLn (show (getNum i)) `catch` handler

最后，使用ScopedTypeVariables可以放置类型注释关于lambda的论点：

{-# LANGUAGE ScopedTypeVariables #-}

outNum i = putStrLn ...
             `catch` (\(err :: Ex.SomeException) -> putStrLn ("caught: " ++ show err))

使用'Ex.catch'产生的模糊类型变量'a0'

1 个答案: