相关疑难解决方法(0)

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

例子:

• 追加T到最后获得monad变压器的名称(例如Reader- > ReaderT)
• 使用runXXX以执行单子计算(例如runST,runReader)
• liftXXX 对于各种价值观 XXX

还有其他命名约定吗？