Dynamic/static language and compiler/interpreter

Question

I have some questions:

• A dynamic programming language is always interpreted? I think so, but why?
• Are there any dynamic languages ​​with static typing system?
• A programming language with static typing system is always compiled?

In others words, are there really a link between :

• Static / dynamic typing system and static / dynamic language
• Static / dynamic typing system and compiler / interpreter
• Static / dynamic language and compiler / interpreter

Answer 1

There is no inherent connection between the type system and the method of execution. Dynamic languages can be compiled and static languages can be interpreted. Arguably static type systems make a lot of sense with programs which are compiled before execution, as a method of catching certain kinds of errors before the program is ever executed. However, dynamic type systems solve different problems than static type systems, and interpreted execution solves different problems than compilation.

See What to know before debating type systems.