Un limbaj de programare care necesită definirea unei variabile, precum și variabila. De exemplu, C este un limbaj puternic tipizat, atunci când declarați variabila, trebuie să specificați și tipul de variabilă. În următorul exemplu, variabila de testare este declarată ca un întreg în prima linie, a doua linie ca punct de plutire și a treia linie sau caracter.

 int test = 25; test flotant = 2, 3; testul char = 'e'; 

Opusul unui limbaj puternic este un limbaj slab tipizat, cum ar fi Perl.

Limbă scrisă lingvistic, Termeni de programare