由 try 引起的模棱两可的类型

Question

我试图在打开文件时进行一些错误处理，以确保文件存在/可读。这是我的尝试：

init struct = do
    str <- try $ readFile (filePath struct)
    case str of
        Left exception -> print exception
        Right content -> execute content struct

（Struct 是一种数据结构，我在其中保存文件路径和其他变量）。 我收到此错误：

由于使用“try”而产生的模棱两可的类型变量“a0” 防止约束“（异常 a0）”被解决。 可能的解决方法：使用类型注释来指定“a0”应该是什么。

但我就是不明白如何解决它。

Answer 1

这是因为try :: ... -> IO (Either e a) 的结果有一个用于异常e 的类型参数，而您只需将其放入可以处理所有类型的print 中（只要e 在@987654326 中@) - 所以对于编译器来说，中间 e 需要是什么类型并不明显。

这与show . read 非常相似——应该是String -> String 类型，但read 应该做什么？阅读Int、Float - 有什么不同吗？

---

解决此问题的最简单方法是 IMO 使用类型应用程序：

{-# LANGUAGE TypeApplications #-}

init struct = do
    str <- try @IOException $ readFile (filePath struct)
    case str of
        Left exception -> print exception
        Right content -> execute content struct

当然你可以在任何你想要的地方添加类型注解：

str <- try $ readFile (filePath struct) :: IO (Either IOException MyStruct)

等等