Список проголосовавших за комментарий "My Shadow, тот же самый анализ делает компилятор в языке со статической типизацией :)<br/> <br/> в php уже давно можно строить AST деревья и анализировать<br/> в typescript можно делать такую проверку до запуска кода, но компилируемый код будет без типов<br/> <br/> что-то ты отстал от жизни :)"