Tipska sigurnost
Tipska sigurnost (eng. type safety) je pojam iz računalnog programiranja. Odnosi se na sposobnost programskog jezika spriječiti pogrješke pri radu s različitim vrstama podataka (poput pokušaja zbrajanja broja i teksta). Predstavlja ključan koncept koji osigurava programu raditi s ispravnim vrstama podataka tijekom prevođenja ili izvršavanja. Tako postoji snažna i slaba tipska sigurnost.