This is a good summary of why I like my type system to be "tight", strong and statically checked.

Good (and long) exploration of the field, going into the different variants provided by various languages.