haskell - 为什么我的代码没有捕获异常？

Question

{-# LANGUAGE DeriveDataTypeable #-}

import Control.Exception
import Data.Typeable

data MyException = MyException String deriving (Show, Typeable)

instance Exception MyException

myExToString :: MyException -> String
myExToString (MyException msg) = msg

t :: ()
t = throw $ MyException "Msg"

main = catch (return t) (\e -> putStrLn $ myExToString e)

为什么我的程序不打印 "Msg" ？

更新:

我改变了代码:

io :: IO ()
io = catch (return t) (\e -> putStrLn $ myExToString e)

main = io >>= print

但是我的代码仍然没有捕获 MyException 吗？为什么？

Answer 1

因为 Haskell 是懒惰的，你从不使用 t 的结果，所以它永远不会被评估，因此不会抛出异常。