[Haskell] Real life examples

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Thu Nov 25 05:49:20 EST 2004


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.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/


More information about the Haskell mailing list