31 Jul
2010
31 Jul
'10
8:41 p.m.
On Sat, Jul 31, 2010 at 5:23 PM, David Leimbach
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.