[Haskell] Real life examples
Lennart Augustsson
lennart at augustsson.net
Thu Nov 25 06:15:28 EST 2004
No, with exactly the type signatures they have I don't think
you can. But the untyped version of them can be implemented.
And that is good enough to convince me that the beta rule is
still valid.
-- Lennart
Josef Svenningsson wrote:
>
>>-----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
>
> _______________________________________________
> Haskell mailing list
> Haskell at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell
>
More information about the Haskell
mailing list