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

[Sam Mason]

On Mon, Dec 08, 2008 at 11:07:27AM -0200, Rodrigo Kumpera wrote:
> Declared exceptions in Java sucks because there is no language help to cope
> with proper capture and propagation.
> Most of the suckiness would go away if, for example, there was a "throw
> whatever my body throws" method signature

I fail to see the distinction between syntax for this and dropping
possibly thrown exceptions from a method's signature.  The existence of
such a flag would imply to me that the feature is too complicated and
maintaining this exception list causes more work than it saves.


  Sam