10 Oct
2002
10 Oct
'02
4:12 p.m.
I don't think >>= is frequent enough. Pure code that manipulates big C objects (remember that image processing example of mine?) can generate a lot of garbage C objects without once going into the IO monad.
Also, thanks to unsafePerformIO, >>= can be invoked during execution of a primitive even if the arguments of the primop do not involve IO. This is somewhat beside the point though - the main worry is about race conditions in user-written code. -- Alastair