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

[Jonathan S. Shapiro]

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

The fact is that you can't omit exception handling code, but exceptions in
BitC aren't expensive the way they are in C++, because there are no
destructors to worry about.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20081208/51de322a/attachment.html