Differentiate between static and dynamic typing in programming languages, including advantages, disadvantages, and examples of languages that use each approach.