What are static typed (or simply typed) languages?

In static typed languages the variable type is known at compile-time instead of at run-time. Such languages are: C, C++ and Java