Мова програмування, яка вимагає визначення змінної, а також змінної, якою вона є. Наприклад, C є сильно типізованою мовою, при оголошенні змінної також необхідно вказати тип змінної. У наступному прикладі тестова змінна оголошується як ціле число в першому рядку, друга - як з плаваючою крапкою, і третій рядок або символ.

 int test = 25; тест float = 2.3; char test = 'e'; 

Протилежна сильно типізована мова - це вільно типізована мова, наприклад Perl.

Вільно типізована мова, терміни програмування