I am not talking about strong typing. As a matter of fact I am against that. I would like however that before a variable is used to check that it already exists.
With today's complex software, we need as much help from the tools as we can.
It could simply be done as a runtime option. If a variable does not exist, do not create it. It should not cost anymore execution time than how it works now.
Also empty arrays should be allowed. It seems to me silly that they require at least one element.
Costas