드 설탕도 표기

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)))))) 

실용적 버전이 있습니다 똑같은 효과가 있지만, 아무 것도 내린 것은 아닙니다. GHC 8 시작

, 실용적 코드로 do 표기 힘 desugar은 ( ApplicativeDo가 켜져 있고있다) 경우 컴파일러는 >>=가 필요하지 않으며 더 일반적인 Applicative 인스턴스가 동일한 의미를 가지고 있음을 확인할 수 있습니다.