> > CLR is missing some key things that we want, and it doesn't provide an > optimizer.
Will you elaborate on this? For me two related CLR limitation questions are how to support... (1) modular compilation traits/type-classes (lexical or not) (2) Google-Go style structural compatibility It feels to me like #1 could be done lexically scoped with some C++-templates-ish version of CLR parametric instantiation. Lexically scoped static class trait implementations would be supplied as "type-parameters" to the parametric instantiation. I don't know enough about the limits of #2 (especially WRT dynamic casting) to know what it would take.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
