Comments on: What Does Monad Mean? http://blog.tmorris.net/what-does-monad-mean/ The weblog of Tony Morris Sat, 04 Feb 2012 12:33:12 +0000 http://wordpress.org/?v=2.6 By: Wolter http://blog.tmorris.net/what-does-monad-mean/#comment-63266 Wolter Mon, 24 Jan 2011 23:44:16 +0000 http://blog.tmorris.net/?p=631#comment-63266 What does "pure" mean? What does "bind" mean? How does "transform" know how to change from one type to another? (referring to the list monad here) Are you supposed to pass a transformer into bind()? If so, how do you pass it in, and when would you do it? Are you supposed to make transformers yourself? When talking about this LINQ thing: a.SelectMany(i => b.SelectMany(j => c.Select(k => foo(i, j, k)))); Why does it return a list of banana? Why not int or string or tuples containing all 3? What does “pure” mean?
What does “bind” mean?
How does “transform” know how to change from one type to another? (referring to the list monad here) Are you supposed to pass a transformer into bind()? If so, how do you pass it in, and when would you do it? Are you supposed to make transformers yourself?

When talking about this LINQ thing:
a.SelectMany(i =>
b.SelectMany(j =>
c.Select(k =>
foo(i, j, k))));

Why does it return a list of banana? Why not int or string or tuples containing all 3?

]]> By: enrico http://blog.tmorris.net/what-does-monad-mean/#comment-36617 enrico Mon, 25 Jan 2010 12:53:34 +0000 http://blog.tmorris.net/?p=631#comment-36617 Wow, I finally understood what a monad is! Thanks a lot! Wow, I finally understood what a monad is!

Thanks a lot!

]]> By: Steven Shaw http://blog.tmorris.net/what-does-monad-mean/#comment-36322 Steven Shaw Sat, 16 Jan 2010 14:43:35 +0000 http://blog.tmorris.net/?p=631#comment-36322 Great stuff, sorry I missed it the first time. Thanks for sharing. Great stuff, sorry I missed it the first time. Thanks for sharing.

]]>