В ходе изучения статическо типизации у меня возник вопрос, допустим:
SomeFunction(/*Аргументы строго определённого типа*/)
{
S VAR //Локальная перменная
//Какой то код
S = 0 //Присваевание числа
//Какой то код
S = "С" //Присваевание символа
//Какой то код
}
Возможно ли гарантировать отсутствие ошибки типа(отследить измение типа) в таком случае, если нет почему?
Спасибо.
Между тем,что я думаю,тем,что я хочу сказать,тем,что я,как мне кажется,говорю,и тем,что вы хотите услышать,тем,что как вам кажется,вы слышите,тем,что вы понимаете,стоит десять вариантов возникновения непонимания.Но всё-таки давайте попробуем...(Э.Уэллс)
