> 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 lane

> 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.