Tizim F-sub - System F-sub

Filialida matematik mantiq sifatida tanilgan tip nazariyasi, Tizim F_<:, "F-sub" deb talaffuz qilingan, ning kengaytmasi tizim F bilan kichik tip. Tizim F_<: uchun muhim ahamiyatga ega bo'lgan dasturlash tili nazariyasi 1980 yildan beri^{[iqtibos kerak ]} chunki yadrosi funktsional dasturlash tillari, kabi ML oila, ikkalasini ham qo'llab-quvvatlang parametrik polimorfizm va yozuv pastki tilda ifodalanishi mumkin Tizim F_<:.

Shuningdek qarang

• Cheklangan miqdoriy miqdor
• POPLmark

Adabiyotlar

• Kardelli, Luka; Martini, Simone; Mitchell, Jon S.; Scedrov, Andre (1994). "Subtype bilan F tizimining kengaytmasi". Axborot va hisoblash, vol. 9. Shimoliy Gollandiya, Amsterdam. 4-5-betlar. doi:10.1006 / inco.1994.1013.
• Pirs, Benjamin (2002). Dasturlash turlari va turlari. MIT Press. ISBN  978-0-262-16209-8., 26-bob: Cheklangan miqdoriy miqdor

${ 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.