Mon Jun 9 12:28:05 CEST 2008

monads and computation

the philosophical idea behind monads starts to dawn on me.. in any
programming language, there are 2 things to consider:

  * a composition mechanism, which takes multiple language elements
    and turns it into one (or more) composite elements.

  * primitive elements.

this is 'bind' and 'return'.