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

[Timon Gehr]

On 06/12/2013 11:23 PM, Walter Bright wrote:
> 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.
>

Weren't those checked at runtime?