Stream (type theory)
||It has been suggested that this article be merged with Stream (computing). (Discuss) Proposed since October 2012.|
data Stream a = Cons a (Stream a)
Generating and computing with streams requires lazy evaluation, either implicitly in a lazily evaluated language or by creating and forcing thunks in an eager language. In total languages they must be defined as codata and can be iterated over using (guarded) corecursion.
|This programming language theory or type theory-related article is a stub. You can help Wikipedia by expanding it.|