Hello,
In the latest ACM CACM is a paper on Singularity. Here also is an overview: http://lambda-the-ultimate.org/node/1081. I haven't finished the CACM paper yet but I only mention of languages like C# and F#. Singularity is predicated around providing a safe
environment. IMO Haskell is even better than their languages. My $.02.
Regards,
Vasili