Zamonaviy dasturlash tillarining turlari va turlari. Dasturlash turini tanlash Dasturlashning qanday turlari farqlanadi

3.2 Funktsional (amaliy) til
Birinchi bunday til LISP edi.
Ifoda funktsional (amaliy) tillarda asosiy qurilish rolini o'ynaydi. Ifodalarga skalyar konstantalar, tuzilgan ob'ektlar, funktsiyalar, funktsiya organlari va funktsional chaqiriqlar kiradi.
Amaliy dasturlash tili quyidagi elementlarni o'z ichiga oladi:
funktsiyalar boshqarishi mumkin bo'lgan doimiy sinflar;
dasturchi oldindan e'lon qilmasdan va tavsiflamasdan foydalanishi mumkin bo'lgan asosiy funktsiyalar to'plami;
asosiy funktsiyalardan yangi funktsiyalarni yaratish qoidalari;
funktsional chaqiruvlar asosida ifodalarni shakllantirish qoidalari.
Ko'rsatilgan xususiyatlar amaliy tillarni juda yuqori darajadagi dasturlash tillari sifatida tavsiflaydi.
3.3 Mantiqiy (munosabat) til
PROLOG tili 1973 yilda frantsuz olimi A. Kolmero tomonidan yaratilgan. Hozirgi vaqtda boshqa tillar ham ma'lum, lekin Prolog - eng rivojlangan va keng tarqalgan mantiqiy dasturlash tili. Sun'iy intellekt tizimlarida mantiqiy dasturlash tillari keng qo'llaniladi.
Mantiqiy dasturlash tillari quyidagilar bilan tavsiflanadi:
yuqori darajali;
ramziy hisoblashga qat'iy yo'nalish;
teskari hisob -kitob qilish imkoniyati, ya'ni protseduradagi o'zgaruvchilar kirish va chiqishga bo'linmaydi;
mumkin bo'lgan mantiqiy to'liq bo'lmaslik, chunki dasturda ma'lum mantiqiy munosabatlarni ifodalash ko'pincha mumkin emas va dasturdan to'g'ri xulosalar chiqarish ham mumkin emas.
Til konstruktsiyalari matematik formulalarga mos kelmaydi, lekin ob'ektlar va miqdorlar o'rtasidagi munosabatni aniqlaydi, ular qanday natijani ko'rsatmasdan foydalanuvchi tomonidan qanday natija kutayotganini bildiradi.
Mantiqiy va funktsional tillar deklarativ tillar... Bu tillarda "operator" ("buyruq") tushunchasi yo'q.
3.4 Ob'ektga yo'naltirilgan til
Ob'ektga yo'naltirilgan til ko'plab mustaqil ob'ektlar ko'rinishida muhit yaratadi. Har bir ob'ekt o'zini alohida kompyuter kabi tutadi, ular yordamida muammolarni ichki mexanizmlarini o'rganmasdan "qora qutilar" sifatida hal qilish mumkin.
So'nggi paytlarda ob'ektga yo'naltirilgan dasturlash tillari dasturchilar orasida juda mashhur bo'lib kelmoqda, chunki ular ob'ektga yo'naltirilgan yondashuvning afzalliklaridan nafaqat dasturiy ta'minot tizimini loyihalash va qurish bosqichlarida, balki ularni amalga oshirish, sinovdan o'tkazish va texnik xizmat ko'rsatish.
Zamonaviy ob'ektga yo'naltirilgan (OO) tillarda quyidagi usullar qo'llaniladi: irsiyat, inkapsulyatsiya, polimorfizm.
Ba'zi ob'ektlarga yo'naltirilgan tillarda barcha sinf usullari virtualdir.
Ko'pgina zamonaviy tillar ob'ektga yo'naltirilgan dasturlashni osonlashtirish uchun maxsus yaratilgan. Ammo shuni ta'kidlash kerakki, ob'ektga yo'naltirilgan bo'lmagan til uchun OOP texnikasini qo'llash mumkin va aksincha, ob'ektga yo'naltirilgan tildan foydalanish kod avtomatik ravishda ob'ektga yo'naltirilgan bo'ladi degani emas.
Ba'zi tillar (ba'zan "sof ob'ekt" - Java yoki Ruby deb ham ataladi) butunlay ob'ektlar vositasida qurilgan - ularda har qanday ma'lumotlar ob'ektlar, har qanday kodlar qandaydir sinfning usuli hisoblanadi va bunday bo'lmagan dasturni yozib bo'lmaydi. ob'ektlardan foydalanish. Boshqa tillar ("gibrid") dastlab protsessual tilda OOP quyi tizimini o'z ichiga oladi. Ular ob'ekt vositalariga murojaat qilmasdan dasturlash imkoniyatini beradi. Klassik misollar C ++ va Delphi (Object Pascal).