Здравствуйте, hardcase, Вы писали:
H>Здравствуйте, s22, Вы писали:
s22>>для уникальной переменной область вдимости заканчивается местом где она присвавается другому значеню. Пример Раст. s22>>Как тут такое реализовать?
H>Dataflow анализом во время/после типизации. Значение этой переменной может быть куда-либо передано, например, в разных ветках if. H>Иными словами, попытавшись еще раз раз прочитать значение переменной по некоторому пути исполнения компилятор должен выдать ошибку вида "illegal variable 'x' usage", а не к "unbound name 'x'". H>В твоей интерпретации компилятор может использовать имя x из какой-то внешней области видимости, что выглядит довольно странно.