Bad array indexing is considered deadly

[Ola Fosheim Grøstad via Digitalmars-d]

On Saturday, 3 June 2017 at 06:55:35 UTC, Paolo Invernizzi wrote:
> The worst thing happened in programming in the last 30 years is 
> just that less and less programmers are adopting Walter 
> mindset...

Really?

On the contrary. What is being adopted is robustness and program 
verification. More and more.

Assuming that a program shouldn't be able to flush its buffers 
out of some flawed reasoning about program correctness does not 
support your argument at all.

Even if your program is fully based on event-sourcing and can 
deal with an immediate shutdown YOU STILL WANT TO FLUSH YOUR 
EVENT-BUFFERS TO DISK!

The argument Walter is follwing is flawed. If a failed assert 
means you should not be able to flush to disk, then it also means 
that you should undo everything the program has ever written to 
disk.

The incorrect program state could have occured at install.

You have to reason about these things in probabilistic terms and 
not in absolutes.