未能捕获“纯”函数引发的异常

Question

我正在尝试捕获由“纯”代码引发的自定义异常。我不明白我的程序的行为。

我正在使用 GHC 8.6.3。这是我的代码：

import Control.Exception

newtype Problem = Problem String deriving Show

instance Exception Problem

foo :: Int -> Int
foo n = n + (throw $ Problem "Whoops")

baz :: IO Int
baz =
  return (foo 1)
  `catch` \(Problem _) -> return 100

main = do
  n <- baz
  print n
  `catch` \(Problem msg) -> putStrLn msg

我希望异常被第一个处理程序捕获，并让程序打印“100”。相反，它被第二个处理程序捕获并打印“哎呀”。

为什么异常在main 而不是baz 中被捕获？如何在baz 中捕获异常？

Answer 1

由于懒惰，foo 1 在您实际尝试打印 n 的值之前不会被执行。本质上，n 绑定到未评估的 thunk foo 1，而不是 foo 1 的结果。

强制baz 处理异常的一种相当笨拙的方法是使用seq；几乎可以肯定有一个更优雅的解决方案。

baz = let result = foo 1
      in seq result (return result) `catch` \(Problem msg) -> return 100

感谢@Alec，更优雅的解决方案是在原始函数中将return 替换为Control.Exception.evaluate。

baz :: IO Int
baz =
  evaluate (foo 1)
  `catch` \(Problem _) -> return 100