[Date Prev][Date Next][Thread Prev][Thread Next]
- Subject: Re: another hat in the ring regarding Lua 5.2: static typing
- From: Mark Hamburg <mhamburg@...>
- Date: Fri, 29 Feb 2008 08:12:38 -0800
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.