Jazyk, v ktorom je typ každej premennej, výrazu alebo funkcie definovaný pred kompiláciou alebo počas behu, a prekladač alebo prostredie behu dôsledne kontrolujú zhodu typov pri operáciách. To zabraňuje chybám súvisiacim s nezlučiteľnosťou typov v skorších fázach vývoja.

Predchádzajúce Ďalej