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

[Raoul Duke]

> Because declared exceptions were tried in Java, and were completely
> unusable.

i do wonder about that experiment; it surely did mostly suck, but on
the other hand only having runtime exceptions has lots of suck about
it as well -- just different kinds of suck. where is the Right Way to
do exceptions that somehow extracts whatever Goodness the options
we've seen to date have, while minimizing teh [sic] suck? (one of the
things i've seen but not used which seems to address some small subset
of such suck is D's scope-exit.)