TONYMIN TGD
Интересно,а есть ли компилируемые языки с нестрогой типизацией?
Типы в Си существуют потому, что конструкции Си практически напрямую компилируются в машинный код. А в машинном коде нужно всегда напрямую указывать, какой величины аргумент у команды - байт, два, четыре байта. И ещё операции сравнения работают по-разному с данными, в зависимости от того, воспринимать эти данные как числа со знаком или без. Поэтому в данные Си имеют строгую типизацию. Приведение типов делать можно, но это плохая практика, поскольку строгая типизация в Си работает как средство защиты, чтобы программист получал правильно работающую программу.