История изменений

Ввести сильную типизацию вместо слабой. Например, enum class из c++ уже не соберёт без приседаний exit(3) с такой сигнатурой:

enum class ExitCode {
    Success,
    Failure
}
void exit(ExitCode с);

Конечно, от логических ошибок это не спасёт. Но для этого есть другие методы.

Ввсести сильную типизацию вместо слабой. Например, enum class из c++ уже не соберёт без приседаний exit(3) с такой сигнатурой:

enum class ExitCode {
    Success,
    Failure
}
void exit(ExitCode с);

Конечно, от логических ошибок это не спасёт. Но для этого есть другие методы.