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