Finalizers etcetera

Alastair Reid alastair at
Thu Oct 10 04:12:59 EDT 2002

> 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.


More information about the FFI mailing list