5 Aug
2005
5 Aug
'05
9:52 a.m.
Am Freitag, 5. August 2005 08:04 schrieb Till Mossakowski:
[...]
I disagree with the equation "primitives = unsafe" that is implicit in sentence
to be implemented _efficiently_, also needs something like unsafePerformIO (or even lower-level unsafe mutable state primitives).
The point is that ST uses *safe* primitives, and not "something like unsafePerformIO".
I think that the one which you cited refered to implementing the ST monad (which needs unsafe primitives, AFAIK) while you refer to implementing algorithms using the ST monad (which normally avoids unsafe primitives).
[...]
Best regards, Wolfgang