似乎Haskell在monad周围建立了几个命名约定。
例如:
例如:
- 将
T
添加到末尾以获得monad transformer的名称(例如,Reader
->ReaderT
) - 使用
runXXX
执行monad计算(例如runST
,runReader
) liftXXX
用于各种值的XXX