Insoniyat birinchi dasturlashtiriladigan qurilmani yaratgandan beri, ikki mingdan ortiq dasturlash tillari yaratilgan. Va har yili ularning soni tobora ko'payib bormoqda. Ular murakkab texnik jihozlarda turli xil qurilmalar o'rtasida aloqa o'rnatishga yordam beradi.
Dasturlash tili - bu kompyuter dasturlarini yozishda ishlatiladigan rasmiy ishora tizimi. Ular dasturning tashqi ko'rinishini va kompyuter tomonidan bajarilishi kerak bo'lgan harakatlarni belgilaydigan turli xil qoidalarga (leksik, semantik va sintaktik) bo'ysunadilar. Tanlangan fan sohasi uchun eng mos bo'lgan dasturlash tillarining ko'p sonli sinflari mavjud, hatto ochiqchasiga kulgili ham bor. Ular ezoterik deb nomlanadi va amaliy foydalanish uchun mo'ljallanmagan. Masalan, adabiy sintaksisga ega bo'lgan tillar mavjud (Shekspir, Chef), kod yozishni qiyinlashtiradigan tillar (Malbolge, ALPACA) yoki g'ayriinsoniy mantiq bilan - Var'aq (Klingon mantig'idan foydalanadi) "Star Trek" filmidan poyga). Va boshqa kulgili tillar, ammo kulgidan tashqari juda ko'p professional tillar mavjud. Hozirda ishlatiladigan asosiy sinf ob'ektga yo'naltirilgan tillardir. Bu kichik dasturlarni ham, katta dasturiy ta'minot tizimlarini ham yozish uchun mo'ljallangan yuqori darajadir. Ushbu sinfning asosiy vakillari Java, C #, C ++, Ruby, Python. Mantiqiy dasturlash tillarini ham ta'kidlash lozim. Ular paradigmani isbotlovchi avtomatik teoremaga va matematik mantiq nazariyasiga asoslangan. Eng mashhur mantiqiy dasturlash tili - Prolog. Bunda birinchi darajali predikat mantiqidan foydalaniladi, yaratilgan tillarning ko'pligi va ularning funktsional imkoniyatlariga qaramay, har doim dasturiy mahsulotlarni yaratish uchun to'g'ri vositalarni tanlash zarur. Masalan, agar siz mijoz-server dasturini amalga oshirishingiz kerak bo'lsa, unda mantiqiy til bunga mos kelmasligi aniq. Shuning uchun vazifani hal qilish uchun eng mos bo'lganini tanlash kerak.
