Typowanie silne

Silna typizacja to system typów w języku programowania, w którym każde wyrażenie ma ustalony typ i nie można go używać w kontekście przeznaczonym dla innych typów.

Przykład:

 int liczba = 1;
 if ("1" == liczba) {
   // program wyrzuci błąd, ponieważ '1' to typ tekstowy (string), zatem nie jest liczbą
 }

Zobacz też

• Typowanie słabe
• Typowanie dynamiczne