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
Post a Comment