monad命名約定是什麼？

Question

Haskell似乎已經圍繞單子建立了幾個命名約定。

實例：

• 附加T到結束以獲得單子變壓器的名稱 - 使用runXXX執行單子計算（例如Reader>ReaderT）
• （例如runST，runReader）
• liftXXX各種數值的XXX

是否有其他命名約定？

Answer 1

• runX m其中m :: X a將運行X單子，並返回與單子結果，a沿着「副作用」。

• evalX m將運行計算並返回結果a。

• execX m將運行計算並返回「副作用」而不是結果。

• 電梯有各種口味，對我來說可能有點棘手，想要在SO回答中解釋它們。您應該可能知道lift和liftIO，並知道/最終找出其他變體，如liftWith和liftBaseWith。例如，請參閱EZYang發佈的主題。

• 在monad名稱隱含變換後追加T。在函數名稱後面附加M意味着它是一次性的。附加_意味着結果被忽略。

• 所有其他的後綴字母表示「使用hoogle」。