Do-Notation für Monaden

Original:

evaluate e l >>= \ a ->
    evaluate e r >>= \ b ->
        return ( a + b )


do-Notation (implizit geklammert)

do a <- evaluate e l
   b <- evaluate e r
   return ( a + b )


anstatt

do { ... ; () <- m ; ... }
verwende Abkürzung
do { ... ; m ; ... }



Johannes Waldmann 2011-01-18