
25 Jan
2005
25 Jan
'05
2:14 p.m.
Hi, I'm a functional programming newbie trying to get the hang of the concept of Monads, but one thing about bind puzzles me. Let's take an IO Monad-example: readLn >>= \i -> readLn >>= \j -> return (i + j) I fail to see how (\j -> return (i + j)) can know about the value of i. Isn't just the value of the previous readLn passed to \j -> return (i + j)? /Smalmatskungen