Class Browsers vs Static Types (Re: Inefficiency of __getattr__)

[Andreas Rossberg]

David Bolen wrote:
> 
> I actually disagree about your every line of code comment.  Perhaps
> not repeatedly in regression tests or automated testing, but I do
> expect every line of code that I write to be executed during
> development at some point - even if I have to write dedicated code to
> do it.  So pretty much the same stuff that the compiler would catch my
> tests will catch.

Note however, that a static type system gives you a certain set of
guarantees not only for every line of code, but for every possible
execution path (to speak in imperative terms). A test suite can almost
never achieve that.

	- Andreas

-- 
Andreas Rossberg, rossberg at ps.uni-sb.de

:: be declarative. be functional. just be. ::