История изменений

Хотя, если подумать, то всё не так просто. Один и тот же код может быть типизирован безконечным числом способов. Например, 1 - это целое, натуральное, рациональное, комплексное число, а заодно ещё и одномерный массив длиной 1. Если система типов - плохая, то она может сильно испортить жизнь, что зачастую можно наблюдать в С++. Это больше зависит от программиста, чем от языка, но если системе типов в языке придаётся слишком большая роль и при этом система типов не слишком хороша, то можно ожидать проблем.

В этом плане динамическая типизация даёт определённую гарантию, что типы не превратятся в религию и отчасти защищает от бед, возникающих из-за чрезмерного раздувания системы типов.

Ну и ну. Не ожидал такого открытия.

Хотя, если подумать, то всё не так просто. Один и тот же код может быть типизирован безконечным числом способов. Например, 1 - это целое, натуральное, рациональное, комплексное число, а заодно ещё и одномерный массив длиной 1. Если система типов - плохая, то она может сильно испортить жизнь, что зачастую можно наблюдать в С++. Это больше зависит от программиста, чем от языка, но если системе типов в языке придаётся слишком большая роль и при этом система типов не слишком хороша, то можно ожидать проблем.