Stream (computer science)

Known as: Stream (type theory)

In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition: data Stream…