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

[bearophile]

Walter Bright:

>> 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.

C++98 doesn't have a global type inferencer for exceptions.

Bye,
bearophile