[bitc-dev] Accurate static typing vs. Dependent Types

[Eric Rannaud]

On Tue, Dec 09, 2008 at 05:38:10AM +0000, David-Sarah Hopwood wrote:
> Jonathan S. Shapiro wrote:
> > The Java compromise is useless for the originally stated objective, which
> > was optimization.
> 
> Really? I had no idea that was the stated objective. Can you point to
> any references saying that it was? It seems obvious that exception
> declarations don't help with optimization.

I believe Jonathan was referring to my original question in this thread
regarding exception declarations in BitC, not in Java.