Bəşəriyyət ilk proqramlaşdırıla bilən cihazı yaratdığından bəri iki mindən çox proqramlaşdırma dili yaradıldı. Və hər il onların sayı durmadan artır. Mürəkkəb texniki avadanlıqdakı müxtəlif cihazlar arasında əlaqə qurmağa kömək edirlər.
Proqramlaşdırma dili kompüter proqramları yazarkən istifadə olunan rəsmi bir işarə sistemidir. Proqramın xarici görünüşünü və kompüter tərəfindən həyata keçirilməli olan hərəkətləri təyin edən müxtəlif qaydalara (leksik, semantik və sintaktik) itaət edirlər. Seçdiyiniz mövzu üçün ən uyğun olan çox sayda proqramlaşdırma dili sinifləri var, hətta açıq şəkildə komik olanlar da var. Bunlara ezoterik deyilir və praktik istifadə üçün nəzərdə tutulmayıb. Məsələn, ədəbi sintaksisə sahib olan dillər (Şekspir, Şef), kod yazmağı çətinləşdirmək üçün hazırlanmış dillər (Malbolge, ALPACA) və ya qeyri-insani məntiqlə - Var'aq (Klingon məntiqindən istifadə edir) Star Trek filmindən yarış). Və digər komik dillər, lakin komiksdən başqa çox sayda peşəkar dillər var. Hazırda istifadə olunan əsas sinif obyekt yönümlü dillərdir. Bu həm kiçik proqramların, həm də böyük proqram sistemlərinin yazılması üçün nəzərdə tutulmuş yüksək səviyyədədir. Bu sinifin əsas nümayəndələri Java, C #, C ++, Ruby, Python'dur. Məntiqi proqramlaşdırma dillərini də qeyd etmək lazımdır. Paradiqmanı sübut edən avtomatik teoremə və riyazi məntiq nəzəriyyəsinə əsaslanırlar. Ən məşhur məntiq proqramlaşdırma dili Proloqdur. Birinci dərəcəli predikat məntiqindən istifadə olunur. Çoxlu sayda dilə və onların işləkliyinə baxmayaraq, proqram məhsullarının yaradılması üçün həmişə düzgün alətlərin seçilməsi lazımdır. Məsələn, bir müştəri-server tətbiqi tətbiq etməlisinizsə, təbii ki, bunun üçün məntiqi bir dil uyğun deyil. Buna görə vəzifəni həll etmək üçün ən uyğun olanı seçmək lazımdır.
