Bryn Keller writes an excellent article
, supporting static type systems based on type inference. It's a response to Bruce Eckel's article on static typing vs. testing
. One of Keller's big points is that when people criticize static typing, they are criticizing a clunky type system wrapped up in verbose or arcane syntax, conflating static/dynamic typing with non-typing syntax. Some languages (like Haskell) allow optional typing with type inference when types are omitted, whereas others only require types for [method] signatures.