Давайте поближе познакомимся с фичей gradual typing, которую многие наверняка применяют, но неосознанно. А в ней таится весьма мощный потенциал, это своеобразная склейка между динамически и статически типизированным кодом, потенциально очень перспективная. Впервые она появилась в массовых языках программирования наверное в начале нынешнего века. Сегодня gradual typing активно применяется в разработке проектов компаниями уровня Microsoft и Facebook, которые даже специально разработали по сути свои gradual type systems, что само по себе показатель важности...

Часто во время отладки программ, особенно имея дело с разным типом данных у наших переменных, мы получаем ошибку. Давайте сделаем вот такую дичь: a = 'a' b = 1 print(a + b) Законно получим жалобу от интерпретатора, потому что типы данных не совпадают: TypeError: can only concatenate str (not "int") to str В этом сообщении об ошибке выдается довольно полезная информация: - мы теперь знаем, что конкатенация строки и целого числа нам не грозит. По крайней мере в Python. По крайней мере "в лоб". Здесь показан примитивный пример, который по большей части надуман...