Probably a more poignant question would be a comparison of Haskell&#39;s type system and Sing#&#39;s (<a href="http://en.wikipedia.org/wiki/Sing_sharp">http://en.wikipedia.org/wiki/Sing_sharp</a>).<br><br>Vasili<br><br><div class="gmail_quote">
On Fri, Jul 30, 2010 at 5:19 PM, Vasili I. Galchin <span dir="ltr">&lt;<a href="mailto:vigalchin@gmail.com">vigalchin@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hello,<br><br>    In the latest ACM CACM is a paper on Singularity. Here also is an overview: <a href="http://lambda-the-ultimate.org/node/1081" target="_blank">http://lambda-the-ultimate.org/node/1081</a>. I haven&#39;t finished the CACM paper yet but I only mention of languages like C# and F#. Singularity is predicated around providing a safe <br>

environment. IMO Haskell is even better than their languages. My $.02.<br><br>Regards,<br><font color="#888888"><br>Vasili<br><br> <br>
</font></blockquote></div><br>