Bad array indexing is considered deadly

[Timon Gehr via Digitalmars-d]

On 01.06.2017 20:37, Walter Bright wrote:
> On 6/1/2017 3:56 AM, Jonathan M Davis via Digitalmars-d wrote:
>> I get the impression that Walter tends to prefer treating stuff as
>> programmatic error due to the types of programs that he usually 
>> writes. You
>> get a lot fewer things that come from user input when you're simply
>> processing a file (like you do with a compiler) than you get with 
>> stuff like
>> a server application or a GUI. So, I think that he's more inclined to 
>> come
>> to the conclusion that something should be treated as programmatic error
>> than some other folks are.
> 
> It is a programming bug> to not validate the input. It's not that bad to 
> abort programs if you neglected to validate the input.
> ...

It really depends on the specific circumstances.

> It is always bad to treat programming bugs as input errors.

They should be treated as bugs, but isn't it plausible that there are 
circumstances where one does not want to authorize every @safe library 
function one calls to bring down the entire process?