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

[Jonathan S. Shapiro]

Rodrigo:

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.

shap
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20081208/fec7bbbe/attachment.html