
31 Jul
2010
31 Jul
'10
1:02 a.m.
Probably a more poignant question would be a comparison of Haskell's type
system and Sing#'s (http://en.wikipedia.org/wiki/Sing_sharp).
Vasili
On Fri, Jul 30, 2010 at 5:19 PM, Vasili I. Galchin
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