[ska]

The problem with that section isn't so much that it is opinionated, it's that you can't really have a sensible discussion about typing on just a dynamic vs. static axis.

At the very least you should address the implications of strong vs. weak typing, and you should probably address the strength and nature of the type systems, also. After all, saying that both C and Haskell are statically largely misses the point.