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.
