Какво е строго типизиран език за програмиране?

Езикът, в който типът на всяка променлива, израз или функция е определен преди компилация или по време на изпълнение, и компилаторът или средата за изпълнение строго проверяват съответствието на типовете при операциите. Това предотвратява грешки, свързани с несъответствие на типове, на по-ранните етапи на разработка.