haskell - Do 符号和 Monad 组合

Question

我是 Haskell 初学者，我仍在学习范畴论及其在计算机科学中的实际应用。

昨天我看了伯克利大学关于范畴论的几场讲座，它的大部分内容都展示了环、半群、群、岩浆、幺半群等的数学 View 。

因此，我脑海中提出了关于一元组合和 kleisli 范畴的问题。因此，我想向 Haskell/Category Theory 专家提问。

do符号是一种单子(monad)组合吗？

问候，

巴勃罗·帕拉达

Answer 1

Is do notation a sort of monad composition?

do 表示法没有什么特别之处。它只是 monad 函数的语法糖。来自 Haskell wikibook 的一个很好的例子:

do x1 <- action1
   x2 <- action2
   action3 x1 x2

脱糖:

action1
  >>=
    \ x1 -> action2
      >>=
        \ x2 -> action3 x1 x2

真实世界的 Haskell 书有一个很好的部分解释了 de-sugaring发生在各种场景中。