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

[David-Sarah Hopwood]

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.

-- 
David-Sarah Hopwood