haskell - 所有的单子(monad)命名约定是什么？

Question

似乎 Haskell 已经围绕 monad 建立了几个命名约定。

例子:

附加 T到最后获取 monad 转换器的名称(例如 Reader -> ReaderT )

使用 runXXX执行单子(monad)计算(例如 runST , runReader )

liftXXX对于 XXX 的各种值

还有其他命名约定吗？

Answer 1

runX m在哪里 m :: X a将运行 X monad 并返回“副作用”以及 monad 结果，a .

evalX m将运行计算并返回结果，a .

execX m将运行计算并返回“副作用”但不返回结果。

升降机有各种口味，我想在 SO 答案中解释它们可能有点太棘手了。你应该知道lift和 liftIO并注意/最终找出其他变体，例如 liftWith和 liftBaseWith .例如，参见 EZYang 关于该主题的帖子。

附加一个 T monad 名称后暗示了变压器。附加 M在函数名称之后暗示它是一元的。附加 _意味着结果被忽略。

所有其他后缀字母的意思是“使用 hoogle”。