haskell - 从 ErrorT 转换到 exceptT

Question

最近的 cabal 安装升级了我的 transformers 版本来自0.3.0.0至 0.4.1.0 。此次升级带来了有关 ErrorT 的折旧警告。

文档不清楚这只是重命名还是有功能更改？为什么要进行此更改？

Answer 1

功能发生变化。 ErrorT要求 e 类型是 Error type class 的成员- 例如，考虑它的 Monad 实例约束。这是相当任意的，并且对于 ErrorT 的功能来说当然不需要。

ExceptT解除此限制。

引入重命名是为了创建更顺畅的升级途径。当前在其 ErrorT 堆栈中使用并依赖于 Error 约束的人们不必更改代码。想要使用更严格的通用 ExceptT 模块的人可以自由选择这样做。在某些时候，ErrorT 模块可能会被删除。