Re: 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