On Sat, Jul 31, 2010 at 5:23 PM, David Leimbach <[email protected]> wrote: > Does Singularity also have such back doors?
The CLR doesn't load machine code, it loads bytecodes. So it is possible to statically analyse the module and see "hmmm, this module uses unsafePerformIO, I'll reject it". If the bytecode is ok, only then it is JITed into efficient machine code. And note that we wouldn't need unsafePerformIO for the FFI if all programs were made in Haskell ;). Cheers, -- Felipe. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
