Jazyk, ve kterém je typ každé proměnné, výrazu nebo funkce definován před kompilací nebo během běhu, a kompilátor nebo prostředí běhu přísně kontrolují shodu typů při operacích. To zabraňuje chybám souvisejícím s nesouladem typů v ranějších fázích vývoje.

Předchozí Další