Baholash strategiyasi - Evaluation strategy

Baholash strategiyalari tomonidan ishlatiladi dasturlash tillari ikkita narsani aniqlash - funktsiya chaqiruvining argumentlarini qachon baholash va funktsiyaga qanday qiymat berish kerakligini.

Tasdiqlash uchun, funktsiya ilovasi funktsiya tanasini baholashdan oldin argumentni baholashi va argumentning joriy qiymatini qidirish va uni o'zgartirish qobiliyatidan o'tishi mumkin. topshiriq.^[1] Tushunchasi kamaytirish strategiyasi yilda lambda hisobi o'xshash, ammo aniq.

Amaliy ma'noda, C # va Java singari ko'plab zamonaviy dasturlash tillari funktsiya chaqiruvlari uchun qiymat bo'yicha qo'ng'iroq / mos yozuvlar bo'yicha baholash strategiyasiga yaqinlashdi.^{[tushuntirish kerak ]} Ba'zi tillar, ayniqsa pastki darajadagi tillar kabi C ++, parametrlarni uzatishning bir nechta tushunchalarini birlashtiring. Tarixiy jihatdan qadriyat bo'yicha qo'ng'iroq qiling va ism bilan qo'ng'iroq qiling ALGOL 60, 1950-yillarning oxirlarida ishlab chiqilgan. Malumot bo'yicha qo'ng'iroq tomonidan ishlatiladi PL / I va ba'zilari Fortran tizimlar.^[2] Kabi funktsional tillar Xaskell, shuningdek, faqat funktsional bo'lmagan tillar kabi R, ehtiyoj bo'yicha qo'ng'iroqdan foydalaning.

Baholash strategiyasi dasturlash tili ta'rifi bilan belgilanadi va har qanday aniq bajarilish funktsiyasi emas.

Qattiq baho

Qattiq baholashda, a uchun dalillar funktsiya funktsiya qo'llanilishidan oldin har doim to'liq baholanadi.

Ostida Cherkovni kodlash, ishtiyoq bilan baholash ning operatorlar funktsiyalarni qat'iy baholash xaritalari; shu sababli, qattiq baho ba'zan "ishtiyoqli" deb nomlanadi. Ko'pgina mavjud dasturlash tillari funktsiyalarni qat'iy baholashdan foydalanadi.

Amaliy buyurtma

Amaliy buyurtmani baholash - bu ifoda uning chap tomonini qayta-qayta baholash orqali baholanadigan baholash strategiyasi ichkarida kamaytiriladigan ifoda. Bu shuni anglatadiki, funktsiya argumentlari funktsiya qo'llanilishidan oldin baholanadi.^[3]

Qiymat bo'yicha qo'ng'iroq qiling

Qiymat bo'yicha qo'ng'iroq (shuningdek, o'tish qiymati sifatida ham tanilgan) turli xil tillarda ishlatiladigan eng keng tarqalgan baholash strategiyasidir C va Sxema. Qiymat bo'yicha chaqirishda argument ifodasi baholanadi va natijada olingan qiymat funktsiyadagi tegishli o'zgaruvchiga bog'lanadi (tez-tez qiymatni yangi xotira mintaqasiga nusxalash orqali). Agar funktsiya yoki protsedura o'z parametrlariga qiymatlarni bera oladigan bo'lsa, faqat uning lokal o'zgaruvchisi tayinlanadi, ya'ni qo'ng'iroq qiluvchida funktsiya chaqiruviga kiritilgan har qanday narsa o'zgarmaydi. qamrov doirasi funktsiya qaytib kelganda.

Qiymat bo'yicha qo'ng'iroq bitta baholash strategiyasi emas, aksincha funktsiya argumenti funktsiyaga o'tishdan oldin baholanadigan baholash strategiyasining oilasidir. Ko'p dasturlash tillari (masalan, Common Lisp) Eyfel va Java) qiymati bo'yicha chaqiruvdan foydalanadigan funktsiya argumentlarini chapdan o'ngga, ba'zilari funktsiyalarni va ularning argumentlarini o'ngdan chapga baholaydi, boshqalari (masalan, sxema, OCaml va C) buyurtma ko'rsatilmagan.

Yashirin cheklovlar

Ba'zi hollarda, "qiymat bo'yicha qo'ng'iroq" atamasi muammoli bo'ladi, chunki berilgan qiymat o'zgaruvchining qiymati oddiy qiymat ma'nosida emas, balki amalga oshirishga xosdir. ma'lumotnoma qiymatga. Buning samarasi shundaki, sintaktik ravishda qiymat bo'yicha qo'ng'iroqqa o'xshagan narsa, mos yozuvlar yoki kabi qo'ng'iroq kabi o'zini tutishi mumkin almashish orqali qo'ng'iroq qiling, ko'pincha til semantikasining juda nozik tomonlariga bog'liq.

Ma'lumotnoma uzatilishining sababi shundaki, ko'pincha til murakkab ma'lumotlarning qiymatini taqdim etmaydi, aksincha ularni manba kodidagi qiymat ko'rinishining ba'zi ko'rinishini saqlab, ularni ma'lumotlar tuzilishi sifatida ifodalaydi. To'liq qiymatlar va bu kabi maskalashgan ma'lumotlar tuzilmalari o'rtasida chegara aniq belgilanadigan joyni taxmin qilish qiyin. Yilda C, qator (ularning qatorlari maxsus holatlar) a ma'lumotlar tuzilishi ammo massivning nomi massivning birinchi elementiga havola (qiymati sifatida) sifatida qabul qilinadi, a tuzilmaviy o'zgaruvchining nomi vektorli maydonlarga ega bo'lsa ham qiymatga ishora qiladi. Yilda Chinor, vektor - bu jadvalning maxsus holati va shuning uchun ma'lumotlar tuzilishi, ammo ro'yxat (ko'rsatiladigan va xuddi shu tarzda indeksatsiya qilinishi mumkin) qiymatdir. Yilda Tcl, qiymatlar "ikkilamchi" bo'lib, qiymat ko'rsatkichi stsenariy darajasida ishlatiladi va agar kerak bo'lsa, tilning o'zi tegishli ma'lumotlar tuzilishini boshqaradi. Ma'lumotlar tarkibi orqali amalga oshirilgan o'zgartirishlar qiymatning aksiga qaytariladi va aksincha.

"Qiymati mos yozuvlar bo'lgan qiymat bo'yicha qo'ng'iroq" ta'rifi keng tarqalgan (ammo ma'lumotlarga ko'ra chaqirish deb tushunmaslik kerak); boshqa atama almashish orqali qo'ng'iroq qiling. Shunday qilib Java yoki Visual Basic va C qiymati bo'yicha qo'ng'iroq qiling Paskal sezilarli darajada farq qiladi: C yoki Paskalda katta tuzilishga ega funktsiyani argument sifatida chaqirish butun strukturani nusxalashga olib keladi (agar bu aslida tuzilishga havola bo'lsa), bu ishlashning jiddiy tanazzulga uchrashiga va mutatsiyaga olib kelishi mumkin. qo'ng'iroq qiluvchiga ko'rinmaydi. Shu bilan birga, Java yoki Visual Basic-da faqat strukturaga havola ko'chiriladi, bu tezkor bo'ladi va tuzilishga mutatsiyalar qo'ng'iroq qiluvchiga ko'rinadi.

Malumot bo'yicha qo'ng'iroq qiling

Malumot bo'yicha qo'ng'iroq (yoki ma'lumotnoma orqali o'tish) - bu funktsiya yopiq qabul qilinadigan baholash strategiyasi ma'lumotnoma uning qiymatining nusxasini emas, balki argument sifatida ishlatiladigan o'zgaruvchiga.

Bu odatda funktsiya o'zgarishi mumkinligini anglatadi (ya'ni, tayinlash ) argument sifatida ishlatiladigan o'zgaruvchi - uni chaqiruvchi ko'radigan narsa. Yo'naltiruvchi qo'ng'iroq, shuning uchun chaqirilgan funktsiya va qo'ng'iroq qilish funktsiyasi o'rtasida qo'shimcha aloqa kanalini ta'minlash uchun ishlatilishi mumkin. Qo'ng'iroqlar tili dasturchi uchun funktsiya chaqiruvi ta'sirini kuzatishni qiyinlashtiradi va nozik xatolarni keltirib chiqarishi mumkin. An'anaviy tarzda yozish mumkin bo'lsa, tilning "chaqiriq bo'yicha semantikani" qo'llab-quvvatlashi uchun oddiy litmus testi almashtirish (a, b) tilda funktsiya.^[4]

Ko'pgina tillar qo'ng'iroqni biron bir shaklda qo'llab-quvvatlaydi, ammo bir nechtasi sukut bo'yicha foydalanadi. FORTRAN II qo'ng'iroq qilish tilining dastlabki namunasidir. Kabi bir nechta tillar C ++, PHP, Visual Basic .NET, C # va REALbasik, qiymati bo'yicha qo'ng'iroq qilish uchun sukut, lekin mos yozuvlar parametrlari uchun maxsus sintaksis taklif etamiz. C ++ qo'shimcha ravishda qo'ng'iroqni havola orqali taklif qiladi konst.

Malumot bo'yicha qo'ng'iroqni qiymat bo'yicha qo'ng'iroqni ishlatadigan va foydalanib, aniq ma'lumotni qo'llab-quvvatlamaydigan tillarda simulyatsiya qilish mumkin ma'lumotnomalar (boshqa narsalarga tegishli bo'lgan narsalar), masalan ko'rsatgichlar (boshqa ob'ektlarning xotira manzillarini ifodalovchi ob'ektlar). Kabi tillar C, ML va Zang ushbu texnikadan foydalaning. Bu alohida baholash strategiyasi emas - til qiymati bo'yicha chaqiradi - lekin ba'zan uni "manzil bo'yicha qo'ng'iroq" yoki "manzil bo'yicha o'tish" deb atashadi. ML-da havolalar mavjud turi- va xotirada xavfsiz, Rustga o'xshash.

Shunga o'xshash ta'sirga erishiladi almashish orqali qo'ng'iroq qiling (keyinchalik mutatsiya qilinishi mumkin bo'lgan ob'ektni uzatishda), Java, Python va Yoqut.

Yilda faqat funktsional tillar odatda ikkala strategiya o'rtasida semantik farq yo'q (chunki ularning ma'lumotlar tuzilmalari o'zgarmasdir, shuning uchun funktsiya uchun uning biron bir argumentini o'zgartirish imkoniyati mavjud emas), shuning uchun ular odatda chaqiruv sifatida ishlatilgan bo'lsa ham, odatda qiymat bo'yicha qo'ng'iroq sifatida tavsiflanadi. samaradorlik uchun ichki ma'lumot.

Quyidagi ma'lumotlarga qo'ng'iroqni ko'rsatadigan misol keltirilgan E dasturlash tili:

def modify (var p, & q) {p: = 27 # qiymat bo'yicha o'tkazildi: faqat mahalliy parametr o'zgartirildi q: = 27 # mos yozuvlar orqali uzatildi: chaqirishda ishlatiladigan o'zgaruvchi o'zgartirildi}? var a: = 1 # qiymati: 1? var b: = 2 # qiymati: 2? o'zgartirish (a, & b)? a # qiymati: 1? b # qiymati: 27

Quyida manzil bo'yicha qo'ng'iroqni simulyatsiya qiladigan manzil bo'yicha qo'ng'iroqning misoli keltirilgan C:

bekor o'zgartirish(int p, int* q, int* r) {    p = 27; // qiymat bo'yicha o'tkazildi: faqat mahalliy parametr o'zgartirildi    *q = 27; // qiymat yoki ma'lumotnoma orqali o'tkazilgan, qaysi birini aniqlash uchun qo'ng'iroq saytini tekshiring    *r = 27; // qiymat yoki ma'lumotnoma orqali o'tkazilgan, qaysi birini aniqlash uchun qo'ng'iroq saytini tekshiring}int asosiy() {    int a = 1;    int b = 1;    int x = 1;    int* v = &x;    o'zgartirish(a, &b, v); // a qiymat bilan, b ko'rsatgich yaratish orqali mos yozuvlar orqali uzatiladi (qiymat bo'yicha qo'ng'iroq),                    // c - qiymat orqali uzatiladigan ko'rsatkich                    // b va x o'zgartirildi    qaytish 0;}

Ulashish orqali qo'ng'iroq qiling

Birgalikda qo'ng'iroq qilish (shuningdek, "ob'ekt bo'yicha qo'ng'iroq" yoki "ob'ektni taqsimlash orqali qo'ng'iroq" deb ham nomlanadi) birinchi bo'lib ta'kidlangan baholash strategiyasidir Barbara Liskov 1974 yilda CLU til.^[5] Kabi tillar tomonidan ishlatiladi Python,^[6] Java (ob'ekt ma'lumotlari uchun), Yoqut, JavaScript, Sxemasi, OCaml, AppleScript va boshqalar. Biroq, "birgalikda qo'ng'iroq qilish" atamasi keng tarqalgan emas; turli manbalar bo'yicha terminologiya bir-biriga mos kelmaydi. Masalan, Java hamjamiyatida ular Java qiymati bo'yicha chaqirilishini aytishadi.^[7] Birgalikda qo'ng'iroq qilish tildagi qadriyatlar emas, balki ob'ektlarga asoslanganligini anglatadi ibtidoiy turlari, ya'ni barcha qiymatlar "quti Ular qutilarga joylashtirilganligi sababli, ular ma'lumotnoma nusxasi orqali o'tadi deyish mumkin (bu erda ibtidoiylar o'tmasdan oldin qutiga qo'yiladi va chaqirilgan funktsiya qutisidan olinmaydi).

Birgalikda qo'ng'iroq qilishning semantikasi, qo'ng'iroqdan farqli o'laroq farq qiladi: "Xususan, bu qiymat bo'yicha chaqirilmaydi, chunki chaqirilgan tartib tomonidan amalga oshirilgan argumentlarning mutatsiyalari qo'ng'iroq qiluvchiga ko'rinadi. Va bu murojaat qilish orqali chaqirilmaydi, chunki kirish uchun ruxsat berilmagan qo'ng'iroq qiluvchining o'zgaruvchilari, lekin faqat ba'zi narsalar uchun ".^[8] Masalan, agar o'zgaruvchi berilgan bo'lsa, chaqiruvchi doirasidagi ushbu o'zgaruvchiga topshiriqni simulyatsiya qilish mumkin emas.^[9] Biroq, funktsiya qo'ng'iroq qiluvchiga o'xshash narsaga kirish huquqiga ega bo'lgani uchun (nusxa olinmaydi), agar ob'ektlar bo'lsa, ushbu ob'ektlarga mutatsiyalar. o'zgaruvchan, funktsiya ichida qo'ng'iroq qiluvchiga ko'rinadi, ular qo'ng'iroqdan qiymati semantikasi bilan farq qilishi mumkin. Funktsiya ichidagi o'zgarishi mumkin bo'lgan ob'ektning mutatsiyalari qo'ng'iroq qiluvchiga ko'rinadi, chunki ob'ekt ko'chirilmagan yoki klonlanmagan - u birgalikda foydalaniladi.

Masalan, Python-da ro'yxatlar o'zgarishi mumkin, shuning uchun:

def f(ro'yxat):    ro'yxat.qo'shib qo'ying(1)m = []f(m)chop etish(m)

natijalar [1] chunki qo'shib qo'ying usuli chaqirilgan ob'ektni o'zgartiradi.

Funktsiya doirasidagi topshiriqlar qo'ng'iroq qiluvchiga sezilmaydi, chunki bu tillarda o'zgaruvchini o'tkazish faqat o'zgaruvchiga havola qilingan haqiqiy ob'ektga o'tishni (kirishni) anglatadi, asl (qo'ng'iroq qiluvchining) o'zgaruvchiga emas. Qayta tiklanish o'zgaruvchisi faqat funktsiya doirasida mavjud bo'lganligi sababli, qo'ng'iroq qiluvchining hamkori asl bog'lanishini saqlab qoladi.

Yuqoridagi Python mutatsiyasini quyidagi argumentni yangi ob'ekt bilan bog'laydigan quyidagi kod bilan taqqoslang:

def f(ro'yxat):    ro'yxat = [1]m = []f(m)chop etish(m)

natijalar [], chunki bayonot ro'yxat = [1] o'zgarmaydigan joyga emas, balki yangi ro'yxatni tayinlaydi.

Uchun o'zgarmas narsalar, agar ob'ekt identifikatori tilda ko'rinadigan hollar bundan mustasno, umumiy foydalanish orqali qo'ng'iroq va qiymat bo'yicha qo'ng'iroq o'rtasida haqiqiy farq yo'q. O'zgaruvchan ob'ektlar bilan bo'lishish orqali qo'ng'iroqdan foydalanish alternativa hisoblanadi kirish / chiqish parametrlari: parametr tayinlanmagan (argument ustiga yozilmaydi va ob'ekt identifikatori o'zgartirilmaydi), lekin ob'ekt (argument) mutatsiyaga uchragan.^[10]

Ushbu atama Python hamjamiyatida keng qo'llanilgan bo'lsa-da, Java va Visual Basic kabi boshqa tillarda bir xil semantika ko'pincha chaqiriq sifatida tavsiflanadi, bu erda qiymat ob'ektga mos yozuvlar sifatida qabul qilinadi.^{[iqtibos kerak ]}

Nusxalash-tiklash orqali qo'ng'iroq qiling

Qayta tiklash orqali qo'ng'iroq qilish - "nusxa ko'chirish", "qiymat natijasi bo'yicha qo'ng'iroq", "qiymatni qaytarish bo'yicha qo'ng'iroq" (shuningdek Fortran jamoa) - taqdim etilgan ma'lumot faqat qo'ng'iroq qiluvchiga xos bo'lgan ma'lumotnoma orqali qo'ng'iroq qilishning maxsus holatidir. Ushbu variant e'tiborni qozondi ko'p ishlov berish kontekst va Masofaviy protsedura chaqiruvi:^[11] agar funktsiya chaqiruvining parametri boshqa bir ijro etilishi mumkin bo'lgan ma'lumotnoma bo'lsa, uning mazmuni yangi bo'lmagan ma'lumotnomaga ko'chirilishi mumkin; funktsiya chaqiruvi qaytib kelganda, ushbu yangi ma'lumotnomaning yangilangan tarkibi asl ma'lumotnomaga ko'chiriladi ("tiklandi").

Nusxalash-tiklash orqali qo'ng'iroq qilishning semantikasi, shuningdek, ikkita yoki undan ortiq funktsiya argumentlari mavjud bo'lgan ma'lumotnomadan farq qiladi taxallus bir-birlari (ya'ni, qo'ng'iroq qiluvchining muhitida bir xil o'zgaruvchiga ishora qiling). Qo'ng'iroq ostida, biriga yozish boshqasiga ta'sir qiladi; nusxa ko'chirish-tiklash orqali qo'ng'iroq qilish funktsiyani alohida nusxalarini berish orqali buni oldini oladi, ammo natijani qo'ng'iroq qiluvchining muhitida qoldiradi aniqlanmagan taxallusli argumentlardan qaysi biri avval nusxa ko'chirilganiga qarab - nusxalar kirish paytida ham, qaytishda ham chapdan o'ngga tartibda tuziladimi?

Yo'naltiruvchi qo'ng'iroqchiga boshlanmasdan yuborilganda, ushbu baholash strategiyasini "natijalar bo'yicha qo'ng'iroq" deb atash mumkin.

Qisman baholash

Qisman baholashda baholash qo'llanilmagan funktsiya tanasida davom etishi mumkin. Bog'lanmagan o'zgaruvchini o'z ichiga olmaydigan har qanday pastki iboralar baholanadi va argument qiymatlari ma'lum bo'lgan funktsional dasturlar kamaytirilishi mumkin. Agar mavjud bo'lsa yon effektlar, to'liq qisman baholash kutilmagan natijalarni keltirib chiqarishi mumkin, shuning uchun qisman baholashni qo'llab-quvvatlaydigan tizimlar buni faqat funktsiyalar doirasidagi "sof" iboralar (ya'ni nojo'ya ta'sirsizlar) uchun qilishadi.

Qattiq bo'lmagan baho

Qattiq bo'lmagan baholashda funktsiya argumentlari, agar ular aslida funktsiya tanasini baholashda ishlatilmasa, baholanmaydi.

Ostida Cherkovni kodlash, dangasa baho operatorlarning xaritalari funktsiyalarni qat'iy bo'lmagan baholash; shu sababli, qat'iy bo'lmagan baholash ko'pincha "dangasa" deb nomlanadi. Mantiqiy iboralar ko'plab tillarda qat'iy bo'lmagan baholash shaklidan foydalaniladi qisqa tutashuvni baholash, bu erda aniq bir mantiqiy mantiqning kelib chiqishi aniqlanishi bilanoq baho qaytariladi, masalan, disjunktiv ifodada (OR) bu erda to'g'ri duch keladi yoki qaerda birlashtiruvchi ifodada (AND) yolg'on uchraydi va hokazo. Shartli iboralar, shuningdek, odatda dangasa baholashdan foydalanadi, bu erda baho noaniq filial paydo bo'lishi bilan qaytadi.

Oddiy tartib

Oddiy tartibni baholash - bu ifoda uning chap tomonini qayta-qayta baholash orqali baholanadigan baholash strategiyasi tashqi tomondan kamaytiriladigan ifoda. Bu shuni anglatadiki, funktsiya argumentlari funktsiya qo'llanilishidan oldin baholanmaydi.^[12]

Ism bilan qo'ng'iroq qiling

Ism bilan qo'ng'iroq - bu baholash strategiyasi, bu erda funktsiya argumentlari funktsiya chaqirilishidan oldin baholanmaydi, aksincha ular to'g'ridan-to'g'ri funktsiya tanasiga almashtiriladi (yordamida almashtirishdan qochish ) va keyin ular funktsiyada paydo bo'lganda ularni baholash uchun qoldiring. Agar funktsiya tanasida argument ishlatilmasa, argument hech qachon baholanmaydi; agar u bir necha marta ishlatilsa, u har paydo bo'lganda qayta baholanadi. (Qarang Jensen qurilmasi.)

Ba'zan qo'ng'iroqlarni baholashdan ko'ra qo'ng'iroqlarni baholash afzalroqdir. Agar funktsiya argumenti funktsiyasida ishlatilmasa, ism bilan qo'ng'iroq qilish argumentni baholamasdan vaqtni tejaydi, aksincha qiymat bo'yicha qo'ng'iroq uni baholaydi. Agar argument tugamaydigan hisoblash bo'lsa, afzallik juda katta. Biroq, funktsiya argumenti ishlatilganda, nom bilan qo'ng'iroq qilish ko'pincha sekinroq bo'ladi va a kabi mexanizm talab etiladi thunk.

Erta foydalanish edi ALGOL 60. Bugungi .NET tillari delegatlar yordamida yoki ism yordamida qo'ng'iroqni simulyatsiya qilishi mumkin Ifoda parametrlar. Ikkinchisi an mavhum sintaksis daraxti funktsiyaga berilgan. Eyfel kerak bo'lganda baholanadigan operatsiyani ifodalovchi agentlarni taqdim etadi. 7. Urug ' funktsiya parametrlari bilan nom bo'yicha qo'ng'iroqni ta'minlaydi. Java dasturlar yordamida shunga o'xshash dangasa baholashni amalga oshirishi mumkin lambda iboralari va java.util.function.Supplier interfeys.

Ehtiyoj bo'yicha qo'ng'iroq qiling

Ehtiyoj bo'yicha qo'ng'iroq - bu yodlangan qo'ng'iroqning nomi bilan varianti, agar funktsiya argumenti baholansa, bu qiymat undan keyingi foydalanish uchun saqlanadi. Agar argument bo'lsa toza (ya'ni nojo'ya ta'sirlardan xoli), bu ismni chaqirish bilan bir xil natijalarni keltirib chiqaradi va argumentni qayta hisoblash xarajatlarini tejaydi.

Xaskell ehtiyoj bo'yicha qo'ng'iroqlarni baholashni ishlatadigan taniqli til. Ifodalarni baholash o'zboshimchalik bilan hisoblashgacha bo'lishi mumkinligi sababli, Haskell faqat yon ta'sirlarni qo'llab-quvvatlaydi (masalan mutatsiya ) yordamida monadalar. Bu kechiktirilgan baholashdan oldin qiymatlari o'zgarib turadigan o'zgaruvchilardan kutilmagan xatti-harakatlarni yo'q qiladi.

Yilda R Qo'ng'iroqni ehtiyoj bo'yicha amalga oshirish, barcha argumentlar berilgan, ya'ni R o'zboshimchalik bilan yon ta'sirga yo'l qo'yishini anglatadi.

Dangasa baho qo'ng'iroq qilish semantikasining eng keng tarqalgan qo'llanilishi, ammo shunga o'xshash farqlar optimistik baholash mavjud. .NET tillari turidan foydalanib, ehtiyoj bo'yicha qo'ng'iroqni amalga oshirish Dangasa .

Ibratli kengayish orqali qo'ng'iroq qiling

Makro kengayish bo'yicha qo'ng'iroq ism bilan chaqirishga o'xshaydi, lekin yozib olish o'rniga matnni almashtirishdan foydalanadi va shu bilan almashtirishdan qochadi. Ammo so'l o'rnini almashtirish xatolarga olib kelishi mumkin, natijada o'zgaruvchan tortishish, kiruvchi xatti-harakatga olib keladi. Gigienik makrolar tekshirish va almashtirish bilan ushbu muammodan qoching soyali o'zgaruvchilar parametrlar emas.

Nondeterministik strategiyalar

To'liq pasayish

"To'liq" ostida b-kamaytirish ", istalgan vaqtda har qanday funktsional dastur kamaytirilishi mumkin (funktsiyani argumentini funktsiyaga tortib olishdan saqlanish bilan almashtirish), istalgan vaqtda. Bu hatto qo'llanilmagan funktsiya tanasida ham bo'lishi mumkin.

Kelajakda qo'ng'iroq qiling

"Kelajak bo'yicha qo'ng'iroq", shuningdek "ism bilan parallel qo'ng'iroq" deb nomlanuvchi, a bir vaqtda a qiymati bo'lgan baholash strategiyasi kelajak ifoda hisoblab chiqiladi bir vaqtning o'zida dasturning qolgan qismi fyuchers deb ham ataladigan va'dalar bilan. Va'daning qiymati kerak bo'lganda, asosiy dastur va'da qiymatga ega bo'lguncha blokirovka qiladi (agar u hali tugamagan bo'lsa, va'da yoki bittasi hisoblashni tugatadi).

Ushbu strategiya deterministik emas, chunki kelajak har qanday vaqtda kelajakni yaratish (ya'ni, ifoda berilganida) va kelajak qiymatidan foydalanish o'rtasida bo'lishi mumkin. Ehtiyoj bo'yicha qo'ng'iroqqa o'xshash narsa, chunki qiymat faqat bir marta hisoblab chiqiladi va hisoblash qiymati kerak bo'lguncha qoldirilishi mumkin, ammo oldinroq boshlanishi mumkin. Bundan tashqari, kelajakning qiymati kerak bo'lmasa, masalan, qaytib keladigan funktsiyadagi mahalliy o'zgaruvchi bo'lsa, hisoblash oxirigacha tugatilishi mumkin.

Agar jarayonlar yoki zarralar bilan amalga oshirilsa, kelajakni yaratish bir yoki bir nechta yangi jarayonlarni yoki ish zarralarini keltirib chiqaradi (va'dalar uchun), qiymatga kirish ularni asosiy ip bilan sinxronizatsiya qiladi va kelajakni hisoblashni tugatish uning va'dalarini o'ldirishga to'g'ri keladi qiymat.

Bilan amalga oshirilsa korutin.NET-dagi kabi async / kuting, kelajakni yaratish qo'ng'iroq qiluvchiga olib kelishi mumkin bo'lgan va o'z navbatida qiymat ishlatilganda qaytariladigan koorutinni (asynk funktsiyasi) chaqiradi, kooperativ sifatida.

Optimistik baho

Optimistik baholash - bu ehtiyojning yana bir varianti, bu erda funktsiya argumenti ma'lum vaqt davomida qisman baholanadi (u sozlanishi mumkin) ish vaqti ). O'tgan vaqtdan so'ng, baholash bekor qilinadi va funktsiya chaqiruv yordamida ehtiyojga ko'ra qo'llaniladi.^[13] Ushbu yondashuv, kerakli tugatish xususiyatlarini saqlab, ehtiyoj bo'yicha qo'ng'iroq qilish strategiyasining ba'zi ish vaqtidagi xarajatlaridan qochadi.

Shuningdek qarang

• Beta normal shakli
• Dasturlash tillarini taqqoslash
• baholash
• Lambda hisobi
• Push-by-value qiymati
• Parametr (informatika)

Adabiyotlar

Ushbu maqola umumiy ro'yxatini o'z ichiga oladi ma'lumotnomalar, lekin bu asosan tasdiqlanmagan bo'lib qolmoqda, chunki unga mos keladigan etishmayapti satrda keltirilgan. Iltimos yordam bering takomillashtirish tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2012 yil aprel) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

• Abelson, Garold; Sussman, Jerald Jey (1996). Kompyuter dasturlarining tuzilishi va talqini (Ikkinchi nashr). Kembrij, Massachusets: The MIT Press. ISBN  978-0-262-01153-2.
• Beyker-Finch, Klem; Shoh Dovud; Xoll, Jon; Trinder, Fil (1999-03-10). "Ehtiyoj bo'yicha parallel qo'ng'iroqning operatsion semantikasi" (ps). Tadqiqot hisoboti. Matematika va hisoblash fakulteti, Ochiq universitet. 99 (1).
• Ennals, Robert; Peyton Jons, Simon (2003). Optimistik baho: qat'iy bo'lmagan dasturlar uchun tezkor baholash strategiyasi (PDF). Funktsional dasturlash bo'yicha xalqaro konferentsiya. ACM tugmachasini bosing.
• Lyudesher, Bertram (2001-01-24). "CSE 130 ma'ruza matnlari". CSE 130: Dasturlash tillari: tamoyillar va paradigmalar.
• Pirs, Benjamin S (2002). Dasturlash turlari va turlari. MIT Press. ISBN  0-262-16209-1.
• Sestoft, Piter (2002). Mogensen, T; Shmidt, D; Sudboro, I. H. (tahrir). Lambda kalkulyatsiyasini kamaytirishni namoyish qilish (PDF). Hisoblashning mohiyati: murakkablik, tahlil, o'zgartirish. Nil D. Jonsga bag'ishlangan insholar. Kompyuter fanidan ma'ruza matnlari. 2566. Springer-Verlag. 420-435 betlar. ISBN  3-540-00326-6.
• "S dasturlashda qiymat bo'yicha qo'ng'iroq va ma'lumotnoma orqali qo'ng'iroq qilish". Qiymat bo'yicha qo'ng'iroq va C dasturlash bo'yicha ma'lumotnoma orqali qo'ng'iroq qilish tushuntirildi. Arxivlandi asl nusxasi 2013-01-21.