Stream (abstract data type)
id:
stream-abstract-data-type-267-7387716
title:
Stream (abstract data type)
text:
In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition: 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.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Stream_(abstract_data_type)
date created:
date modified:
2023-06-09T13:02:28Z
main entity:
{"identifier":"Q6659657","url":"https://www.wikidata.org/entity/Q6659657"}
image:
fields total:
13
integrity:
13