On Tue, Aug 27, 2013 at 10:15 AM, Jonathan S. Shapiro <[email protected]>wrote:
> 2. Tail calls >> > > Yup. But that's more a CLR issue than a C# issue. The language can't > currently mandate tail calls because the CLR doesn't support it. It's a > chicken and egg sort of thing. > Isn't this equally true for many of these items? Fixed-sized arrays as safe types presumably requires fixed-sized-arrays as generic type-paramaters, which requires CLR support parametric instantiation of type-and-length. Parametrically instantiated type-classes could be implemented as static metacompilations via Reflection.Emit, but only if type-classes are not real types and are only available as generic parameter constraints. Can a "proper region typing system" (or Rush-ish named lifetimes) be done without CLR changes? Or at least changes to CLR verification? It feels like named-lifetimes could be done only with verification changes, but if I understand your definition of a "proper region typing system" (which is not necessarily the case), it seems to require deep CLR changes. Does it not?
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
