[bitc-dev] monads

[Jeremy Shaw]

At Tue, 25 Mar 2008 16:55:59 +0100,
Pierre THIERRY wrote:
> 
> [1  <multipart/signed (7bit)>]
> [1.1  <text/plain; us-ascii (quoted-printable)>]
> Scribit Jonathan S. Shapiro dies 25/03/2008 hora 10:34:
> >   2. Every valid Haskell program *would* have a direct transcription
> >   to BitC *if* BitC provided support for monads.
> 
> For the few that I know about monads, it seemed to me that they were
> only needed to have side-effects in purely functional language. 

Not really. Haskell had three or four different IO systems before
monadic IO was adopted. It's more that monads are useful for a lot of
things, including IO.

monads are useful for many pure computations such as string parsing,
backtracking search, environment lookups, logging, probability, and
even quantum computer simulation.

j.