Gradual Typing in Programming Languages

Yes! This is where programming languages *must* head. The freedom of dynamic typing and the safety of static typing! (As opposed to C++: Freedom of static typing and safety of dynamic typing)