On Tue, Jul 22, 2014 at 10:09 AM, Raoul Duke <[email protected]> wrote:
> thanks! In the Midori case, it's hard to say whether the main issue was usability or programming language. Singularity was done in Sing#, which had first-class support for linear types (and ran into some challenges with them). Midori committed to C#; I never really tried to find out why, but it probably made sense to be working on top of a language platform that was mainstream to Microsoft. Certainly it would require a clear understanding of benefits and costs to justify doing otherwise. The absence of support in the language would sure make things more difficult, but I think there was a view that the kinds of things that Singularity did with linear types were probably better done with dynamic locking and ownership notions. Certainly the cost-to-check on those isn't a performance impediment. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
