25 Nov
2004
25 Nov
'04
10:49 a.m.
Lennart Augustsson <lennart@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@knm.org.pl ^^ http://qrnik.knm.org.pl/~qrczak/