haskell - How to read the bind operator ">>=" in words? -


when reading code, able form sentences in head. example, x <- getchar "x slurps getchar". or a . b "b applied a".

but when comes monadic bind operator f >>= g, leave mental gap in sentence in head, because don't know how read it. thought "f binds g", feels wrong. suggestions have?

the proposed duplicate link contains nice answers other operators, bind operator answers "bind". however, "f bind g" doesn't seem meaningful me.

i suggest thinking of word 'bind' in sense of 'attach': binding g f means attaching monadic action g monad f. flesh out bit, think of f, monad, computation which, when run, return value (call value x). binding monadic action g monad f expresses new computation in monadic action g attached monad f, in sense result (x) of monadic computation f passed along argument action g, in turn returns new (monadic) computation.


Comments

Popular posts from this blog

Command prompt result in label. Python 2.7 -

javascript - How do I use URL parameters to change link href on page? -

amazon web services - AWS Route53 Trying To Get Site To Resolve To www -