Haskell do notation 的正经定义

永远在用do，永远记不得do作为一个语法糖，对应的真实语法是什么。写一篇博文记一下。

-- | ----------------------------------------------------
-- | (1) do { m1 } ==> m1
-- | (2) do { m1; m2 } ==> m1 >> do { m2 }
-- | (3) do { let s1; m1 s1 } ==> let s1 in do { m1 s1 }
-- | (3’) do { let s1; m1 s1 } ==> do { m1 s1 } where s1
-- | (4) do { x <- m1; m2 x } ==> m1 >>= (\x -> do { m2 x } )
-- | (5) do { x <- m1; let s = f x; m2 s } ==> do { s <- f <$> m1; m2 s }
-- | (6) do { x <- m1; y <- m2; let s = f x y; m3 s } ==> do { s <- f <$> m1 <*> m2; m3 s }
-- | (7) let s1; let s2 ==> let (s1; s2)
-- | (8) (\x -> f x) ==> f
-- | ----------------------------------------------------

其中的前六条就是记下来备忘的。（来源：此文 & 建议阅读此文！）
简单来说，有三种情况：

• 单独的表达式，可以理解成执行相应内容，但不保留结果。
• <-表达式，可以理解成把套Monad的值赋给箭头左边的名字，但此名字在使用时可以视为纯值。
• let表达式，可以理解为正常的let-in表达式。
• 最后：最后一行是返回值，决定了返回的是谁，类型是什么。

另外，如果用大括号控制do的范围，记得在每句话后加分号。而如果用缩进来控制，let有时会出现一些玄学问题，这是Haskell在实现时，多字母关键字（比如let，where等）面临的一个通病。建议少用let而多用let-in或其他方式。如果用let的话，下一行及之后的缩进要比let还深。

备忘

do-日语
do-汉语