Python даёт программисту минимум гарантий, что данный ему код будет работать.

Почему? Потому что:

- этот язык интерпретируемый (нет компиляции, нет проверки всего кода перед запуском. то есть мы не можем сказать: "it compiled, so it likely works")

- он имеет динамическую типизацию (программа не поломается сразу, если мы подадим в нее не тот тип)

Но как бы в этом сила Python: он хорош для прототипирования, и позволяет не ебаться с кодом до идеала, как того требует, например, компилятор Rust

Поэтому в Python юнит-тестирование и использование статических анализаторов кода особенно актуально. Это та жертва, на которую нужно пойти, если хотите получить дополнительный гарант функционирования вашей программы