On Tue, 2008-10-07 at 09:47 -0700, Raoul Duke wrote: > > types. But the subjective evidence from other languages that *do* have > > effect types is that they very rapidly become an impediment to > > usability, and I am very concerned that this might happen in BitC. > > clueless question: can they be optional in the language? so that it is > pay-as-you-go?
Not really, because they require syntactic support. The issue isn't compile time or computational complexity of analysis. The issue is the need for syntax cruft. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
