DConf 2013 Day 3 Talk 2: Code Analysis for D with AnalyzeD by Stefan Rohe

[Walter Bright]

On 6/12/2013 2:21 PM, bearophile wrote:
> Jonathan M Davis:
>
>> What I find most interesting about checked exceptions is the fact that almost
>> everyone thinks that they're a fantastic idea when they first encounter them
>> and yet they're actually a bad idea. It's actually a good example of how a
>> feature sometimes needs to be thoroughly field-tested before it becomes clear
>> how good or bad it is.
>
> Maybe checked exceptions are bad only for the type system of Java. Maybe for a
> language that has global type inferencing on the exceptions such feature becomes
> better.

C++98 had checked exceptions (exception specifications), too. Another failure of 
the idea, it failed so badly hardly anyone but language lawyers ever knew it had it.