Ағын (информатика) - Stream (computer science) - Wikipedia

Бұл мақала жоқ сілтеме кез келген ақпарат көздері. Өтінемін көмектесіңіз осы мақаланы жақсарту арқылы дәйексөздерді сенімді дерек көздеріне қосу. Ресурссыз материалға шағым жасалуы мүмкін және жойылды. Дереккөздерді табу: «Ағын» информатика  – жаңалықтар  · газеттер  · кітаптар  · ғалым  · JSTOR (Ақпан 2020) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)

Жылы тип теориясы және функционалды бағдарламалау, а ағын а-ның ықтимал шексіз аналогы болып табылады тізім, берілген кондуктивті анықтама:

деректер Ағын α = Жоқ | Минус α (Ағын α)

Ағындарды құру және есептеу қажет жалқау бағалау, немесе жасырын түрде жалқау бағаланған тілде немесе жасау және мәжбүрлеу арқылы түйіршіктер тілекпен. Жылы жалпы тілдер олар ретінде анықталуы керек кодата және пайдалану арқылы қайталануы мүмкін (қорғалған) корекурсия.

Сондай-ақ қараңыз

• Кондукция

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

Бұл бағдарламалау тілінің теориясы немесе тип теориясы - қатысты мақала а бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту.