Re: another hat in the ring regarding Lua 5.2: static typing
[
Date Prev][
Date Next][
Thread Prev][
Thread Next]
[
Date Index]
[
Thread Index]
- Subject: Re: another hat in the ring regarding Lua 5.2: static typing
- From: Mark Hamburg <mhamburg@...>
- Date: 2008年2月29日 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.
Mark