Categories
Sponsor Us
The Enfranchised Mind has been online since 2006 and boasts thousands of conversations, many author open source projects, and high traffic. Help continue EnfranchisedMind: sponsor us and we will set aside some space in the sidebar or footer to feature you.
Not my title — it’s a post over at ObjectMentor: Strongly Typed Languages Considered Dangerous.
I highly suggest reading it, as well as the comment from the Haskell fan who came to static language’s defense.
Given the choice between Java and Groovy, I’ll take Groovy, thankyouverymuch. Java’s type system is just powerful enough to be dangerous, and I find that declaring classes and interfaces are much too chatty to enable the “thinking in types” that goes on in my head.
That said, take a look at the functional languages. The power of the compiler, and the ease with which you can define types, really means that you’re building a lot of very powerful, very specific types. This enables the compiler to do lots of checks and eliminate the runtime haziness which the poster is complaining about.