[bitc-dev] NOALLOC analysis

[Jonathan S. Shapiro]

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