`> The big problem with Java's model is that exceptions aren't part of the type system They are. To the extent that the checked exceptions that a method can t

`> The big problem with Java's model is that exceptions aren't part of the type system They are. To the extent that the checked exceptions that a method can throw are part of the method signature (as all error cases should). I have no idea what you mean by "exceptions aren't part of the type system".