Type systems

I should point out that all the languages I'm considering are either dynamically typed, or have a more sophisticated static type system than C++. I'm tired of typing types (with my fingers).