This post originated from an RSS feed registered with Java Buzz
by dion.
Original Post: Static Typing: For tools, or for compilers?
Feed Title: techno.blog(Dion)
Feed URL: http://feeds.feedburner.com/dion
Feed Description: blogging about life the universe and everything tech
The article discusses the two axes: "the likelihood of disaster and the magnitude of the consequences."
I think it is spot on wrt compilers. However, I don't think that a lot of people give type information for the compilers anymore. They do it for their tools.
For them the tradeoff is: "I have to 'type' more information in on types, but I get to use tools that are worth that time, as they give it back to me and more-so".
There is no simple "winning" argument. You can believe in both sides.
The real winner though? Nice language AND nice tool. And, it's coming.