[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