haskell - 在多个包haskell中发现Control.Monad.Writer

Question

我尝试导入 Control.Monad.Writer像这样的模块:

import Control.Monad.Writer

ghc版本 7.4.1 给出以下错误:

Ambiguous module name `Control.Monad.Writer':
      it was found in multiple packages: monads-tf-0.1.0.1 mtl-2.1.1

有一个类似问题的问题和解决方法 here .

尽管在这个线程中给出了解决方案，但我的问题是:
这是cabal和ghc的标准配置吗？
- 如果是这样:模块是否有理由默认包含在两个包中？
- 如果没有:(可能)发生了什么，可以撤消吗？

如果这很重要:我正在开发 Debian 7.3 wheezy 并安装了 haskell-platform包裹。此外，我使用 cabal install 安装了一些软件包。 .

提前谢谢了!

Answer 1

是的，这是“标准”。原因是对 mtl 的历史性重构。包以适应具有多个参数的两种不同样式的处理类型类，例如 MonadWriter 类(class):type families和 functional dependencies .
mtl包保留了旧的功能依赖方法，而 monads-tf 具有较新的类型族方法。

因为现在 Haskell 生态系统中有库使用 monads-tf ，在典型安装中，两者都不可避免地会出现在包数据库中——我个人已经经历了几个星期。