On static/dynamic typing

From http://symbo1ics.com/blog/?p=1495

I now realise that there are several issues conflated into a false dichotomy of static/dynamic.

  1. type expressivity (ML, Haskell, and Scala even more so)
  2. type checking (same family)

Traditional C and Java family languages fail completely on the first point. They have primitive type systems. Dynamic languages (PHP, Python, Ruby, Scheme, etc) obviously fail on the second point. So that covers about 90 or 95% of what most people are using.

If you address both these points, you have a very high level of expressive power (1) and safety (2).

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s