You're viewing a comment by GryMor and its responses.

GryMor Permalink
March 05, 2009, 22:40

Strong typing is only good in the presence of an expressive type system. With a crippled type system (as seen in Java and C++), strong typing prevents errors that could have been easily caught by testing while providing more opportunity for errors due to the extra could to work around the crippled type system. ML would be an example of a language whose type system is sufficiently expressive that strong typing actually helps you.

Reply To This Comment

(why do I need your e-mail?)

(Your twitter name, if you have one. (I'm @pkrumins, btw.))

Type the first letter of your name: (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.