|
) Funksional dasturlash. Yuqori tartibli finksiyalar. Toza funksiyalar. Rekursiya
|
| bet | 8/30 | | Sana | 27.01.2024 | | Hajmi | 0,99 Mb. | | #146980 |
Bog'liq PARADIGMA YN9) Funksional dasturlash. Yuqori tartibli finksiyalar. Toza funksiyalar. Rekursiya
Funktsional dasturlash ma’lumotlarni qayta ishlash jarayonini universal funktsiyalar yordamida ularning xaritalashlari tarkibi sifatida ko‘rib chiqadi. Ushbu yondashuvdagi dastur ma’lumotlar turlaridan boshqa narsa emas. Funktsional dasturlash axborot jarayonlarini tashkil etish uchun mustaqil ishlab chiqilgan vositalar va usullarning sintaktik xilma-xilligini engishga muvaffaq bo‘ldi. Bu dasturlashtiriladigan jarayonlarni tashkil qilishda ishtirok etadigan semantik quyi tizimlarning namoyon bo‘lishi va ortogonallashuviga e’tibor qaratish tufayli mumkin bo‘ldi. Yagona ma’lumotlar tuzilmalari va funktsional ob’ektlar to‘plamlari tasvirini ishlab chiqish bir xil darajada muhimdir. Bularning barchasi funktsional dasturlash tillarini heterojen tuzilmalarni konjugatsiya qilish vositasi sifatida ko‘rib chiqishga imkon beradi. Ularga asoslanib, siz mashinadan mustaqil uslubda ifodalanishi mumkin bo‘lgan har qanday integral konstruktsiyalarni amalga oshirishingiz mumkin.
Funktsional dasturlash tillari moslashuvchan ro‘yxatlar va mavhum atomlardan foydalanadi. JFP dasturlarni bajarish jarayonida qiymatlar turlarini to‘liq nazorat qilishga qaratilgan bo‘lib, dinamik tahlil va hisob- kitoblarni kechiktirish bilan nazorat qilish, xotiradan qayta foydalanishni avtomatlashtirish - “axlat yig‘ish”.
Funktsional dasturlash usullari formulalarni ifodalash va o‘zgartirish uchun rasmiy matematik tilga asoslanadi, shuning uchun funktsional dasturlash asoslarining aniq, etarlicha to‘liq tavsifini berish va modellashtirilgan turli xil dasturlash paradigmalarini qo‘llab-quvvatlash va ishlab chiqish uchun dasturlash tizimini belgilash mumkin. faoliyatni tashkil qilishda funktsional yondashuvdan foydalanish.
Funktsional dasturlashning qurilishi o‘zining mantiqiy xulosasini spetsifikatsiyalar, ma’lumotlar turlari, vizual diagrammalar, formulalar va boshqalarga asoslangan dasturlarni sintaktik boshqariladigan loyihalash uchun qulay bo‘lgan yuqori tartibli funktsiyalarni aniqlash darajasida oladi.
|
| |
