むしろプログラマはポカするものという前提の元で設計されてるのが昨今の言語じゃない?
Rustなんかモロそんな感じだし