什么是monad命名约定？

Question

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

示例：

• 将T附加到最后以获取monad变换器的名称（例如Reader - ＆gt; ReaderT）
• 使用runXXX执行monad计算（例如runST，runReader）
• liftXXX了解XXX
的各种值

是否有其他命名约定？

Answer 1

• runX m其中m :: X a将运行X monad并返回“副作用”以及monad结果a。

  < / LI>

• evalX m将运行计算并返回结果a。

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

• 电梯有各种各样的风格，对我来说，想要在SO答案中解释它们可能有点太棘手。您应该知道lift和liftIO，并了解/最终找出其他变体，例如liftWith和liftBaseWith。例如，请参阅EZYang关于该主题的帖子。

• 在monad名称暗示变换后附加T。在函数名后附加M表示它是monadic。附加_表示结果被忽略。

• 所有其他后缀字母均表示“使用hoogle”。