Siguranța tipurilor este o caracteristică a limbajului în care programezi. Astfel de limbaje mai pot fi descrise ca:

• Cu tipizare puternică (față de tipizare slabă)
• Cu tipizare statică (dacă tipurile sunt verificate la compilare)
• Hard typed / Soft typed (termeni informali, mai rar folosiți)

Acești termeni sunt adesea folosiți ca sinonime, dar nu înseamnă întotdeauna exact același lucru. De exemplu, tipizare dinamică față de tipizare statică se referă la momentul în care este verificat tipul, nu la cât de strictă este tipizarea.

Un limbaj cu siguranță a tipurilor te împiedică să combini valori de tip nepotrivit. Acest lucru ajută la depistarea timpurie a greșelilor și îmbunătățește fiabilitatea.

Exemple:

Cu siguranță a tipurilor — C#, Java, Rust

int x = "hello";  // compile-time error

Fără siguranță a tipurilor — JavaScript, Python

x = 5;
x = "now a string";  // allowed