BnW — ninesigns: Статическая типизация как замена тестам.

Статическая строгая типизация Хиндли — Милнера вполне себе позволяет избавиться от большей части юнит-тестов (типизация не поможет на всяких операциях со строками и регэкспами). Функциональные тесты никто не отменял. А так в общем-то да — беда питона и ему подобных динамических языков в необходимости обеспечивать 80-90% коверейдж, для которого тесты заебёшься писать. Иначе никаких гарантий нет, что это вообще работать будет, а не упадёт на продакшене.