Re: another hat in the ring regarding Lua 5.2: static typing

[Mark Hamburg <mhamburg@...>]

I think one of the chief reasons people use static type checking these days
is to help with refactoring. Maybe dynamic languages just need a different
solution in that regard.

Static type checking automatically gives one something that approximates
code coverage unit tests for a particular class of assertions to be checked,
but from  refactoring standpoint the key issue is being able to do things
like find all calls to a particular function or method.

Mark