脱糖符号

Question

我想对以下 do 表示法进行脱糖。但我不确定我是否做对了：

是：

quote   = do
    time        <- qtime
    qcomma
    ask         <- double
    qcomma
    bid         <- double
    qcomma
    askVolume   <- double
    qcomma
    bidVolume   <- double
    endOfLine
    return $ Quote time ask bid askVolume bidVolume

和

quote   = Quote <$> (qtime <* qcomma)
                <*> (double <* qcomma)
                <*> (double <* qcomma)
                <*> (double <* qcomma)
                <*> (double <* endOfLine)

相当于：

qtime >>= (\time -> qcomma) 
    >> double 
        >>= (\ ask -> qcomma)  
            >> double  
                >>= (\bid -> qcomma) 
                    >> double
                        >>= (\askVolume  -> qcomma) 
                            >> double
                                >>= (\bidVolume  -> endOfLine)
                                    return (Quote time ask bid askVolume bidVolume ) 

感谢任何帮助！

Answer 1

do 符号对 nested lambdas 没有糖分，因为（例如）time 在 do 块的其余部分的范围内，而不仅仅是对 qcomma 的第一次调用：

qtime >>= (
  \time -> qcomma
      >> double 
      >>= (\ ask -> qcomma
               >> double  
               >>= (\bid -> qcomma 
                       >> double
                       >>= (\askVolume  -> qcomma 
                                    >> double
                                    >>= (\bidVolume  -> endOfLine
                                          return (Quote time ask bid askVolume bidVolume ))))))

applicative 版本可能具有相同的效果，但不会对任何东西进行脱糖。

从 GHC 8 开始，如果（ApplicativeDo 已打开并且）编译器可以确定 >>= 不是必需的，则do 表示法可能对应用代码脱糖一般Applicative实例含义相同。