[bitc-dev] Accurate static typing vs. Dependent Types
Jonathan S. Shapiro
shap at eros-os.com
Mon Dec 8 12:34:56 CST 2008
Your comment doesn't address the problem. The problem is that the list of
possible exceptions thrown is a consequence of implementation, not
interface. Implementations change, and the exceptions that cross an
interface boundary change.
The Java compromise is useless for the originally stated objective, which
was optimization. If *any* declaration can be omitted, then optimizing catch
blocks is impossible.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the bitc-dev