相关疑难解决方法(0)

Hackage有几个monad变换器包:

• mtl:Monad变压器库
• 变形金刚:混凝土仿函数和monad变压器
• monads-fd:Monad类,使用函数依赖
• monads-tf:Monad类,使用类型族
• monadLib:monad变换器的集合.
• mtl-tf:使用类型族的Monad变换器库.
• mmtl:模块化Monad变压器库
• mtlx:具有类型索引的Monad变换器库,提供"免费"副本.
• compose-trans:可组合的monad变换器

(也许我错过了一些)

我们应该使用哪一个？

mtl是Haskell平台中的一个,但我一直听说reddit它是不酷的.

但无论如何,选择有什么不好,这不是一件好事吗？

好吧,我看到数据访问器的作者如何必须使所有这些满足流行的选择:

• data-accessor-monadLib库:monadLib monad的访问器函数
• data-accessor-monads-fd library:使用Accessor访问monads-fd State monad类中的状态
• data-accessor-monads-tf library:使用Accessor访问monads-tf状态monad类型系列中的状态
• data-accessor-mtl library:使用Accessor访问mtl State monad类中的状态
• data-accessor-transformers library:使用Accessor访问变换器State monad中的状态

我想如果这种情况继续下去,例如几个竞争的箭头包演变,我们可能会看到类似:spoonklink-arrows-transformers,spoonklink-arrows-monadLib,spoonklink-tfArrows-transformers,spoonklink-tfArrows-monadLib,...

然后我担心如果spoonklink被分叉,Hackage将耗尽磁盘空间.:)

问题:

• 为什么有这么多monad变压器包？
• 为什么mtl [被认为]不酷？
• 有哪些主要区别？
• 大多数这些看似竞争的软件包都是由Andy Gill编写的,由Ross Paterson维护.这是否意味着这些软件包不是竞争对手,而是以某种方式协同工作？安迪和罗斯认为他们自己的任何套餐都已过时吗？
• 你和我应该使用哪一个？

我试图采取例如ExceptT a (StateT A M),对于一些具体类型A和monad M,并将它们包装到我的新自定义monad中.

首先,我确定了StateT A M在其他环境中经常出现,因此我决定这将是最好的单独包装在一个单子M1,然后包装ExceptT a M1成M2.

所需的属性是make M1和的M2实例MonadState和类M(假设它被调用MyMonadClass).也M2应该是一个实例MonadError.

首先我从简单类型的同义词开始:

type MyState    = StateT A M
type MyBranch a = ExceptT a MyState

然后我想我会首先勾画实例声明(没有实现实例),这就是我第一次被卡住的地方.instance MonadState A (MyState)似乎不是正确的语法.我以为我必须创建newtype MyState' a = StateT a M然后type MyState = MyState A(不要在没有必要的地方使用语言扩展).

然而,一旦我开始将同义词转换为newtype声明,我开始失去与StateT A M和 …

有时我需要使用几个嵌套MonadTrans.例如,我会在一个MaybeT内部ExceptT,模仿continue和break命令式编程:

runExceptT . forM [1..] $ \ _ -> runMaybeT $ do
    ...
    mzero   -- this mimics continue
    lift $ throwE "..."    -- this mimics break
    lift . lift $ putStrLn "Hello!"
    ...

但是,正如上面的代码所示,每次我需要IO在这个"人工循环"中进行任何操作时,我需要lift . lift在它之前放一个丑陋的东西.想象一下,如果我有更复杂的嵌套和大量IO操作,这很快就会成为一种厌恶.我如何使代码更清晰,更简洁？