Qiymatni cheklash - Value restriction

Ushbu maqolada bir nechta muammolar mavjud. Iltimos yordam bering uni yaxshilang yoki ushbu masalalarni muhokama qiling munozara sahifasi. (Ushbu shablon xabarlarini qanday va qachon olib tashlashni bilib oling) Ushbu maqolada a foydalanilgan adabiyotlar ro'yxati, tegishli o'qish yoki tashqi havolalar, ammo uning manbalari noma'lum bo'lib qolmoqda, chunki u etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (2018 yil iyul) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) Bu maqola mavzu bilan tanish bo'lmaganlar uchun etarli bo'lmagan kontekstni taqdim etadi. Iltimos yordam bering maqolani takomillashtirish tomonidan o'quvchi uchun ko'proq kontekstni taqdim etish. (2018 yil iyul) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda funktsional dasturlash, xususan ML dasturlash tili oilasi, qiymatni cheklash shuni anglatadiki deklaratsiyalar faqat polimorfik jihatdan umumlashtirilgan agar ular sintaktik qiymatlar bo'lsa (shuningdek, deyiladi) keng bo'lmagan). Qiymatni cheklash mos yozuvlar katakchalarini har xil va saqlanadigan qiymatlarni ushlab turishiga yo'l qo'ymaydi turdagi xavfsizlik.

Shuningdek qarang

• Xindli-Milner turidagi xulosa

Adabiyotlar

• Mads Tofte (1988). Operatsion semantika va polimorfik turdagi xulosa. Nomzodlik dissertatsiyasi.
• M. Tofte (1990). "Polimorfik ma'lumotnomalar uchun turdagi xulosa".
• O'Tul (1990). "Ma'lumot uchun abstraktsiyaning tip qoidalari: notanishlikka erishgan to'rttasini taqqoslash".
• Xaver Leroy va Per Vays (1991). "Polimorfik turdagi xulosa chiqarish va tayinlash". POPL '91.
• A. K. Rayt (1992). "Effektiv xulosalar bo'yicha ma'lumotnomalarni kiritish".
• Mening Hoangim, Jon C. Mitchell va Ramesh Vishvanatan (1993). "Standart ML-NJ kuchsiz polimorfizm va imperativ konstruktsiyalar".
• Endryu Rayt (1995). "Oddiy imperativ polimorfizm ". In LISP va ramziy hisoblash, p. 343–356.
• Jak Garrigue (2004). "Qiymat cheklovini yumshatish".

Tashqi havolalar

• Qiymatni cheklash — MLton
• SML97-ning qiymatini cheklash to'g'risida eslatmalar - Tillarni dasturlash tamoyillari, Geoffrey Smit, Florida Xalqaro Universiteti

${ displaystyle Gamma vdash x: { text {Int}}}$

Bu dasturlash tili nazariyasi yoki tip nazariyasi bilan bog'liq maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.