Stream (informática) - Stream (computer science)
En teoría de tipos y programación funcional , una secuencia es un análogo potencialmente infinito de una lista , dada por la definición coinductiva :
data Stream α = Nil | Cons α (Stream α)
Generar y computar con streams requiere una evaluación perezosa , ya sea implícitamente en un lenguaje evaluado perezosamente o creando y forzando thunks en un lenguaje ávido. En todos los lenguajes , deben definirse como codatos y se pueden iterar utilizando corecursion (protegido) .
Ver también
Este artículo relacionado con la teoría del lenguaje de programación o la teoría de tipos es un fragmento . Puedes ayudar a Wikipedia expandiéndolo . |