[Haskell-cafe] Re: Microsoft's Singularity Project and Haskell

[Felipe Lessa]

On Sat, Jul 31, 2010 at 5:23 PM, David Leimbach <leimy2k at gmail.com> 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.