Flujo (tipo de datos abstracto)

En la teoría de tipos y la programación funcional , un flujo es un análogo potencialmente infinito de una lista , dada por la definición coinductiva : ^{[1] [2]}

Flujo de datos α = Nil | Cons α ( Flujo α )         

La generación y el cálculo con flujos requieren una evaluación diferida , ya sea de manera implícita en un lenguaje evaluado de manera diferida o mediante la creación y el forzamiento de fragmentos en un lenguaje ansioso. En los lenguajes totales, deben definirse como codatos y se pueden iterar mediante una recursión de núcleo (protegida) .

Diagrama de paquetes UML de la jerarquía de flujos en .NET

Véase también

• Coinducción

Referencias

1. Yamagiwa, Shinichi (2022), Katoh, Naoki; Higashikawa, Yuya; Ito, Hiro; Nagao, Atsuki (eds.), "Compresión de datos sin pérdida basada en flujo", Paradigma de computación sublineal: revolución algorítmica en la era de los macrodatos , Singapur: Springer, págs. 391–410, doi : 10.1007/978-981-16-4095-7_16 , ISBN 978-981-16-4095-7
2. Sangma, Jerry W.; Sarkar, Mekhla; Pal, Vipin; Agrawal, Amit; Yogita (1 de abril de 2022). "Agrupamiento jerárquico para múltiples flujos de datos nominales con comportamiento evolutivo". Sistemas complejos e inteligentes . 8 (2): 1737–1761. doi : 10.1007/s40747-021-00634-0 . ISSN  2198-6053.