Question

我正在玩一些在线示例，其中一个有这句话：

   do ... contents <- getDirectoryContents path `catch` const (return [])

但它不会为我编译，并给出错误：

No instance for (Exception e0) arising from a use of `catch'
The type variable `e0' is ambiguous
Possible fix: add a type signature that fixes these type variable(s)
Note: there are several potential instances:
  instance Exception NestedAtomically
    -- Defined in `Control.Exception.Base'
  instance Exception NoMethodError
    -- Defined in `Control.Exception.Base'
  instance Exception NonTermination
    -- Defined in `Control.Exception.Base'
  ...plus 7 others
In a stmt of a 'do' block:
  contents <- getDirectoryContents path `catch` const (return [])
In the expression:
  do { contents <- getDirectoryContents path
                   `catch` const (return []);

我不得不改变它以给出处理程序的类型，现在可以，但有点麻烦：

contents <- getDirectoryContents path `catch` (\(SomeException e) -> const (return []) e)

所以我想知道为什么我需要做出这个改变，如果这是最简洁的方法。（是的，我知道我可以使用其他形式的尝试，处理，......）

Answer 1

catch的类型为Exception e => IO a -> (e -> IO a) -> IO a，因此(e -> IO a)是您传递const函数结果的地方，但const返回类型是{{1} }}。正如您所看到的，此类型的(e0 -> IO [])不受限制，因为它在catch中是必需的，e0应该有e个实例，这就是错误所说的内容。

因此，从概念上讲，您将“受限制较少”的内容传递给需要“更多约束”的地方。

带有catch的Haskell类型错误

1 个答案: