WikiDer > Oqim (informatika) - Vikipediya

Bu maqola emas keltirish har qanday manbalar. Iltimos yordam bering ushbu maqolani yaxshilang tomonidan ishonchli manbalarga iqtiboslarni qo'shish. Manbaga ega bo'lmagan materialga qarshi chiqish mumkin va olib tashlandi. Manbalarni toping: "Stream" informatika – Yangiliklar · gazetalar · kitoblar · olim · JSTOR (2020 yil fevral) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda tip nazariyasi va funktsional dasturlash, a oqim ning potentsial cheksiz analogidir ro'yxattomonidan berilgan koinduktiv ta'rif:

ma'lumotlar Oqim a = Yo'q | Kamchiliklari a (Oqim a)

Oqimlarni yaratish va hisoblash talab etiladi dangasa baholash, yoki bilvosita dangasa baholangan tilda yoki yaratish va majburlash bilan thunks g'ayratli tilda. Yilda jami tillar ular sifatida belgilanishi kerak kodata va foydalanishda takrorlanishi mumkin (qo'riqlanadigan) kelishuv.

Shuningdek qarang

• Coinduction

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

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