[Haskell-cafe] Re: Microsoft's Singularity Project and Haskell
felipe.lessa at gmail.com
Sat Jul 31 20:41:19 EDT 2010
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 ;).
More information about the Haskell-Cafe