A statically typed language is one where variables have explicit types associated with them. This allows program verification and efficient execution since the exact type of data is known at compile time.
Statically typed languages are often compiled but not always.