Ներկայացրեք, թե ինչ է նշանակում 'խիստ տիպավորված ծրագրավորման լեզու' տերմինը և ինչպես է այն տարբերվում ոչ խիստ տիպավորված լեզվից։

Կատարյալ տիպավորված ծրագրավորման լեզուն այն լեզուն է, որի դեպքում փոփոխականների և արտահայտությունների տվյալների տիպերը խստորեն վերահսկվում են կոմպիլատոր կամ ինտերպրետատոր կողմից, և թույլ չի տրվում անուղղակի տիպափոխում, ինչը կարող է հանգեցնել սխալների։ Օրինակ, այդպիսի լեզուներում հնարավոր չէ պարզապես նշանակել ամբողջ թիվ արժեքը տիպի տող փոփոխականին առանց բացահայտ փոխարկման։

Հակառակ դեպքում, թույլ տիպավորված լեզուները ավելի ազատորեն թույլ են տալիս խառնել տիպերը, հաճախ ավտոմատ փոխարկումներ կատարելով (օրինակ՝ JavaScript): Դա կարող է հանգեցնել անսպասելի արդյունքների, բայց նաև հեշտացնում է կոդի գրառումը։

Օրինակ C#-ում (կատարյալ տիպավորված).

int a = 5;
string s = "10";
// string result = a + s; // Կոմպիլյատորային սխալ
string result = a.ToString() + s; // Ճիշտ

Նվազ տիպավորված լեզուներում, օրինակ՝ JavaScript-ում, նման արտահայտությունը կաշխատի առանց սխալների, բայց արդյունքը կարող է չլինել ակնհայտ։