2011-10-23, 08:26 PM
Devil's Sunrise Wrote:I don't think type checking suddenly makes everything much better.Not only does it prevent a large class of bugs, it makes it much easier for both humans and computers to reason about the code. Static typing means you can have an IDE with real autocompletion, which is a big productivity boost. Static typing makes code much more self-documenting.

