log in

Thoughts on Static vs. Dynamic Typing

Luke Breuer
2007-12-30 01:53 UTC

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.