[bitc-dev] Accurate static typing vs. Dependent Types
david.hopwood at industrial-designers.co.uk
Mon Dec 8 23:38:10 CST 2008
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.
More information about the bitc-dev