Grafting Functional Support on Top of an Imperative Language

[Jeff Nowakowski]

Bill Baxter wrote:
> 
> Seriously why on earth are they called 'monads'?

http://en.wikipedia.org/wiki/Monads_in_functional_programming

"The name monad derives from category theory, a branch of mathematics 
that describes patterns applicable to many mathematical fields. (As a 
minor terminological mismatch, the term "monad" in functional 
programming contexts is usually used with a meaning corresponding to 
that of the term "strong monad" in category theory, a specific kind of 
category theoretical monad.[citation needed])"

-Jeff