Re: Re[2]: Soft Types System Proposal

[Mark Hamburg <mhamburg@...>]

In my experience with Lua, type errors are relatively rare, but typing
errors are common. What those seem to need are an easy way to detect:

* Undefined variables. The various Lua lints detect this by looking for
unexpected global access. The language could probably become friendlier
about this though that would have to be balanced against keeping the
language friendly toward incremental compilation. Perhaps "new" globals
should only be allowed at the top level of a chunk.

* Misspelled messages.

* Misspelled table fields.

Mark