Limba în care tipul fiecărei variabile, expresii sau funcții este definit înainte de compilare sau în timpul execuției, iar compilatorul sau mediul de execuție verifică strict conformitatea tipurilor în timpul operațiilor. Acest lucru previne erorile legate de incompatibilitatea tipurilor în etapele timpurii ale dezvoltării.

Anterior În continuare