de sucreing faire la notation

Question

Je veux de sucre la notation suivante. Mais im pas sûr que je l'ai vu juste:

est:

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

Et

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

équivalent à:

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

Toute aide est appréciée!

Answer 1

La notation do desugars à imbriquées lambdas, parce que (par exemple) time est portée pour le reste du bloc do, pas seulement le premier appel à qcomma:

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

La version applicative pourrait avoir le même effet, mais n'est pas désuet à quoi que ce soit.

A partir de GHC 8, la notation dopourrait desugar au code si applicatif (ApplicativeDo est activé et) le compilateur peut déterminer que >>= n'est pas nécessaire et l'Applicative exemple plus général a la même signification.