[fiedzia]

> No amount of 'type safety' will prevent idiots from being idiots

But it will limit the damage they do considerably. Having bit of space or trees between lanes on a road saves a lot of lives, even if people drive as idiotically as they would without it.

> What is NOT idiotic is what you discribe as 'ridiculous amount of verification'

Designing systems that rely only on that is idiotic when there are better options.