[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:
http://www.haskell.org/pipermail/haskell/2001-September/007922.html

Cheers,

	/Josef



More information about the Haskell mailing list