|
Mavzu :MONAND larning o‘zaro ta’sirining funksional modeli
|
| bet | 11/17 | | Sana | 20.07.2024 | | Hajmi | 0,56 Mb. | | #268028 |
Bog'liq 2-biletMavzu :MONAND larning o‘zaro ta’sirining funksional modeli
MONAND (funktsional dasturlash)
MONAND interfeysi.
Effektiv amallar.
MONAND (funktsional dasturlash)
funktsional dasturlashda MONAND strukturadir. bu dastur fragmentlarini (funksiyalar) birlashtiradi va ularning qaytish qiymatlarini ichiga oʻraladi. turi qo‘shimcha hisoblash bilan. O'rash MONANDik turini belgilashdan tashqari, MONANDalar ikkita operatorni belgilaydi: biri MONAND tipidagi qiymatni o‘rash uchun, ikkinchisi esa MONAND tipidagi qiymatlarni chiqaradigan funksiyalarni birgalikda tuzish uchun (bular MONANDik funksiyalar deb nomlanadi). Umumiy maqsadli tillar umumiy operatsiyalar uchun zarur boʻlgan qozon kodini qisqartirish uchun MONANDlardan foydalanadi (masalan, aniqlanmagan qiymatlar yoki notoʻgʻri funksiyalar bilan ishlash yoki buxgalteriya kodini inkapsulatsiya qilish). Funksional tillar boshqaruv oqimi va nojo‘ya ta’sirlarni mavhumlashtiradigan, murakkab funksiyalar ketma-ketligini ixcham tuzilmalarga aylantirish uchun MONANDlardan foydalanadi. .
MONANDa tushunchasi ham, atamasi ham kategoriyalar nazariyasidan kelib chiqqan bo‘lib, bu erda MONANDa < sifatida belgilanadi. a i=3>funktor qoʻshimcha tuzilishga ega.[a] 1980-yillarning oxiri va 1990-yillarning boshida boshlangan tadqiqotlar shuni aniqladiki, MONANDlar birlashtirilgan, funktsional model ostida bir-biridan farq qiladigan kompyuter fanlari muammolarini keltirib chiqarishi mumkin edi. Kategoriyalar nazariyasi MONAND qonunlari deb nomlanuvchi bir necha rasmiy talablarni ham taqdim etadi, ular har qanday MONANDa tomonidan qondirilishi kerak va < uchun ishlatilishi mumkin. a i=9>tasdiqlash MONAND kod.
MONANDalar semantikani qandaydir hisoblash uchun aniq qilganligi sababli, ulardan qulay til xususiyatlarini amalga oshirish uchun ham foydalanish mumkin. Haskell kabi ba'zi tillar hatto o'zlarining asosiy kutubxonalarida oldindan tuzilgan ta'riflarni taklif qiladilar umumiy MONANDa tuzilishi va umumiy misollar uchun.>[5]
|
| |
