Comments on: Static Typing and the Paranoid Style of Programming http://www.pathf.com/blogs/2009/04/static-typing-and-the-paranoid-style-of-programming/ Running commentary about agile development, user experience design and Ajax. Fri, 05 Mar 2010 19:33:43 -0600 http://wordpress.org/?v=2.8.4 hourly 1 By: Stephan Leclercq http://www.pathf.com/blogs/2009/04/static-typing-and-the-paranoid-style-of-programming/comment-page-1/#comment-6991 Stephan Leclercq Fri, 17 Jul 2009 13:05:48 +0000 http://www.pathf.com/blogs/?p=2124#comment-6991 And yet another rant about "the time spent making the compiler happy"... Writing in a statically typed language is not about making a compiler happy. It is about having an appropriate design. If you spend time "making the compiler happy" it is mainly because your abstractions and inheritance patterns are wrong, and you have to bend the rules. Get your abstractions right, and the compiler will gladly follow. THAT is exactly the kind of "bugs" a statically typed language will catch: not typnig erorrs, but sloppy design. That is neither rare, nor easy to fix. -- S. And yet another rant about “the time spent making the compiler happy”… Writing in a statically typed language is not about making a compiler happy. It is about having an appropriate design.

If you spend time “making the compiler happy” it is mainly because your abstractions and inheritance patterns are wrong, and you have to bend the rules. Get your abstractions right, and the compiler will gladly follow.

THAT is exactly the kind of “bugs” a statically typed language will catch: not typnig erorrs, but sloppy design. That is neither rare, nor easy to fix.

– S.

]]>