[piaste]

Does it even need a new language version? If the compiler already spits out the error "hey, your Fart() function should be annotated with 'throws ButtsException'", couldn't an IDE relatively easily be configured to automatically add the " throws " annotations?

[brabel]

Have you ever used Java?? Any half decent IDE has done that since 2000.

[piaste]

Never in anger - I've done some JVM coding, but always in Kotlin (which doesn't have checked exceptions).

If Java IDEs have been able to automatically take care of checked exceptions forever, then why do people say that they're inconvenient?

[brabel]

Because the people saying that usually do not program in Java.