[Haskell] Real life examples

Josef Svenningsson josefs at cs.chalmers.se
Thu Nov 25 06:11:14 EST 2004

> -----Original Message-----
> From: haskell-bounces at haskell.org [mailto:haskell-bounces at haskell.org] On
> Behalf Of Marcin 'Qrczak' Kowalczyk
> Sent: den 25 november 2004 11:49
> To: haskell at haskell.org
> Subject: Re: [Haskell] Real life examples
> Lennart Augustsson <lennart at augustsson.net> writes:
> > An "easy" way to prove it is to provide an equivalent implementation
> > that uses only pure functions. As far as I remember Control.Monad.ST
> > can be written purely. And I think the same is true for Data.Dynamic.
> I think neither of them can.
I agree with Marcin. I challenge you (Lennart) to write Control.Monad.ST in
Haskell98. I (and many others) have tried and failed. An interesting summary
by Koen can be found here:



More information about the Haskell mailing list