Monads

I have a question about monads ... if they are really the "fundamental unit of composibility" as put forward in a few of the Channel9 interviews with Brian Beckman and Eric Meijer, then isn't it practical to assume that the goal should then be to ensure that everything is in a monad?  Does that actually make sense, and is it even possible?

Good question. A couple of monads

• The Maybe monad
• The Either monad
• The List monad
• The Continuation monad
• The State monad
• The Exception monad
• The IO monad
• ...

Charles said:

It depends on how far you want to stretch the meaning. We actually talk about his in an upcoming C9 Conversations piece with Dr. Beckman So, I'll let him explain.

C

Sweet!  Another Beckman episode coming soon.  Can't wait!

Any chance he is finally going to spill his guts about the secret project???  Probably not.

Charles said:

ryanb said:

*snip*

Nope. Sorry.

C

"Nope. Sorry."

C, I asked Mr. Ballmer yesterday.  He said it was ok to talk about it.

lanceruch said:

staceyw said:

*snip*

Can you guys explain first the overall concept of this term - Monads

Asked and answered

• Monads and Mort
• Don't Fear the Monads
• The Zen of Expressing State 1/2 2/2
• The Continuation Monad

exoteric said:

lanceruch said:

*snip*

Asked and answered

• Monads and Mort
• Don't Fear the Monads
• The Zen of Expressing State 1/2 2/2
• The Continuation Monad

 

I would love to see the concept of monads applied to source control management.