lua-users home
lua-l archive

[Date Prev][Date Next][Thread Prev][Thread Next] [Date Index] [Thread Index]

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.