Re[3]: Терминология Nitra
От: s22  
Дата: 16.03.15 05:43
Оценка:
Здравствуйте, hardcase, Вы писали:

H>Здравствуйте, s22, Вы писали:


s22>>для уникальной переменной область вдимости заканчивается местом где она присвавается другому значеню. Пример Раст.

s22>>Как тут такое реализовать?

H>Dataflow анализом во время/после типизации. Значение этой переменной может быть куда-либо передано, например, в разных ветках if.

H>Иными словами, попытавшись еще раз раз прочитать значение переменной по некоторому пути исполнения компилятор должен выдать ошибку вида "illegal variable 'x' usage", а не к "unbound name 'x'".
H>В твоей интерпретации компилятор может использовать имя x из какой-то внешней области видимости, что выглядит довольно странно.

спасибо, Вы правы.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.