Explica ce înseamnă termenul ' limbaj de programare cu tipare stricte' și cum diferă de unul cu tipare ne-stricte.

Un limbaj de programare cu tipare strictă este un limbaj în care tipurile de date ale variabilelor și expresiilor sunt controlate strict de către compilator sau interpret, și nu este permisă conversia implicită a tipurilor, ceea ce poate duce la erori. De exemplu, în astfel de limbaje, nu se poate pur și simplu atribui o valoare întreagă unei variabile de tip șir de caractere fără o conversie explicită.

În contrast, limbajele cu tipare nesigure permit amestecarea mai liberă a tipurilor, adesea efectuând conversii automate (de exemplu, JavaScript). Acest lucru poate duce la rezultate neașteptate, dar și simplifică scrierea codului.

Exemplu în C# (tipare strictă):

int a = 5;
string s = "10";
// string result = a + s; // Eroare de compilare
string result = a.ToString() + s; // Corect

În limbajele cu tipare nesigure, precum JavaScript, o astfel de expresie va funcționa fără erori, dar rezultatul poate să nu fie evident.