Език за програмиране, който изисква да се дефинира променлива, както и променливата, която тя е. Например, C е силно типизиран език, когато декларирате променливата, трябва да посочите и типа променлива. В следващия пример тестовата променлива се декларира като цяло число в първия ред, втората като плаваща запетая и третия ред или символ.

 int test = 25; тест с флоат = 2.3; char test = 'e'; 

Обратното на силно типизиран език е свободно написаният език, като например Perl.

Слабо написан език, Условия за програмиране