Изменения

* Типизация - не необходимость, как раньше, а лишь один из способов проверки*: что ещё есть можно проверять?*: Rust = borrow checker*: ещё есть функциональщина = по сути "purity" checker* При этом*: auto уже даже в C++*: тайпчекер (частично) уже даже в PHP (+ Hack)