Stream (počítačová věda) - Stream (computer science) - Wikipedia

tento článek ne uvést žádný Zdroje. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Streamujte“ počítačovou vědu  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Únor 2020) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

v teorie typů a Funkcionální programování, a proud je potenciálně nekonečný analog a seznam, dané koinduktivní definice:

data Proud α = Nula | Nevýhody α (Proud α)

Generování a výpočet pomocí streamů vyžaduje líné hodnocení, buď implicitně v líně hodnoceném jazyce, nebo vytvořením a vynucením thunks v dychtivém jazyce. v celkem jazyků musí být definovány jako codata a lze jej iterovat pomocí (hlídané) korekční.

Viz také

• Koindukce

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

Tento teorie programovacího jazyka nebo teorie typů související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.