Այն ժամանակից ի վեր, երբ մարդկությունը մտավ առաջին ծրագրավորվող սարքի հետ, ստեղծվել են ավելի քան երկու հազար ծրագրավորման լեզուներ: Եվ ամեն տարի նրանց թիվը կայուն աճում է: Դրանք օգնում են կապ հաստատել բարդ տեխնիկական սարքավորումների տարբեր սարքերի միջև:
Mingրագրավորման լեզուն պաշտոնական նշանային համակարգ է, որն օգտագործվում է համակարգչային ծրագրեր գրելիս: Նրանք ենթարկվում են տարբեր կանոնների (բառարանային, իմաստային և շարահյուսական), որոնք որոշում են ծրագրի տեսքը և գործողությունները, որոնք պետք է կատարվեն համակարգչի կողմից: Mingրագրավորման լեզուների մեծ թվով դասարաններ կան, որոնք առավել հարմար են ընտրված առարկայի համար, կան նույնիսկ անկեղծորեն զավեշտական: Դրանք կոչվում են էզոտերիկա և նախատեսված չեն գործնական օգտագործման համար: Օրինակ ՝ կան լեզուներ, որոնք ունեն գրական շարահյուսություն (Շեքսպիր, խոհարար), լեզուներ, որոնք նախատեսված են կոդ գրելը դժվարացնելու համար (Malbolge, ALPACA) կամ անմարդկային տրամաբանությամբ ՝ Var'aq (օգտագործում է Կլինգոնի տրամաբանությունը մրցավազք «Աստղային ճանապարհ» ֆիլմից): Եվ այլ կոմիկական լեզուներ, բայց բացի կոմիքսից, կան մեծ թվով պրոֆեսիոնալներ: Ներկայումս օգտագործվող հիմնական դասը օբյեկտիվ կողմնորոշված լեզուներն են: Սա բարձր մակարդակ է, որը նախատեսված է ինչպես փոքր ծրագրեր, այնպես էլ մեծ ծրագրային համակարգեր գրելու համար: Այս դասի հիմնական ներկայացուցիչներն են Java, C #, C ++, Ruby, Python: Պետք է նշել նաև ծրագրավորման տրամաբանական լեզուները: Դրանք հիմնված են ավտոմատ թեորեմի ապացուցող պարադիգմի վրա և հիմնված են մաթեմատիկական տրամաբանության տեսության վրա: Famousրագրավորման ամենահայտնի լեզուն Prolog է: Այն օգտագործում է առաջին կարգի նախադրյալի տրամաբանությունը: Չնայած ստեղծված լեզուների մեծ թվին և դրանց գործունակությանը, միշտ անհրաժեշտ է ընտրել ճիշտ գործիքներ ծրագրային արտադրանք ստեղծելու համար: Օրինակ, եթե Ձեզ անհրաժեշտ է իրականացնել հաճախորդ-սերվերային ծրագիր, ապա, անկասկած, տրամաբանական լեզուն դրա համար հարմար չէ: Ուստի անհրաժեշտ է ընտրել մեկը, որն առավել հարմար է առաջադրանքի լուծման համար:
