This tension is as old as programming itself.
Dijkstra and Hoare spent decades arguing for rigor.
Meanwhile C, JavaScript, and PHP, none of them designed for correctness, won the world.
The languages that ship always beat the languages that are right.
Perhaps this submit deserves expanding a bit the title here on HN, as the current one doesn't tell much about quite interesting points the author is making