ドレッシング表記

Question

私は砂糖にしたいと思います。しかし、私は右のそれを持っているかどうかイムわからない：

されています：

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

time（例えば）qcommaにdoブロックだけでなく、最初のコールの残りの範囲にあるためdo表記は、ネストさラムダにdesugars：

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

応用的バージョンはかもしれません同じ効果を持ちますが、何にも与えられません。

（ApplicativeDoがオンされると）、コンパイラは>>=が必要ではなく、より一般的なApplicativeインスタンスは、同じ意味を持つと判断できる場合GHC 8、応用的コードにdo表記かもしれない desugarから開始。