Ну, в теории звучит круто, только на практике куча времени как раз уходит на войну с компилятором и подгонкой типов))) в питоне есть опциональные тайп хинты для педантов и авто линтеры которые с ними дружат. Проверка типов это последнее что я делаю в тестах)))