История изменений
Исправление tailgunner, (текущая версия) :
должны быть места, где типы все же фиксируются.
Должны, да. Границы модуля, например.
Анализ AST однако... грамотно нписанная ф-я обхода все решит;-)
Если задача решаема :) И придется обходить AST всей программы или «единицы типизации» (модуль, пакет).
Исходная версия tailgunner, :
должны быть места, где типы все же фиксируются.
Должны, да. Границы модуля, например.
Анализ AST однако... грамотно нписанная ф-я обхода все решит;-)
Если задача решаема :) И придется обходить AST всей программы.