永远在用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还深。