Поток (абстрактный тип данных)

В теории типов и функциональном программировании поток — это потенциально бесконечный аналог списка , заданный коиндуктивным определением : ^[1]^[2]

data Stream α = Nil | Cons α (Stream α)

Генерация и вычисления с помощью потоков требуют ленивых вычислений , либо неявно на лениво вычисляемом языке, либо путем создания и принудительного создания переходников на активном языке. В полных языках они должны быть определены как кодаты и могут быть перебраны с использованием (защищенного) corecursion .

Диаграмма пакета UML иерархии потоков в .NET

См. также

Коиндукция

Ссылки

^ Ямагива, Шиничи (2022), Като, Наоки; Хигасикава, Юя; Ито, Хиро; Нагао, Ацуки (ред.), «Потоковое сжатие данных без потерь», Парадигма сублинейных вычислений: алгоритмическая революция в эпоху больших данных , Сингапур: Springer, стр. 1–12. 391–410, doi : 10.1007/978-981-16-4095-7_16 , ISBN 978-981-16-4095-7
^ Сангма, Джерри В.; Саркар, Мехла; Пал, Випин; Агравал, Амит; Йогита (01.04.2022). «Иерархическая кластеризация для нескольких номинальных потоков данных с изменяющимся поведением» . Сложные и интеллектуальные системы . 8 (2): 1737–1761. дои : 10.1007/s40747-021-00634-0 . ISSN 2198-6053 .

\Gamma \!\vdash

Эта теории языков программирования или теории типов, статья, посвященная незавершена . Вы можете помочь Википедии, расширив ее .

[1] Ямагива, Шиничи (2022), Като, Наоки; Хигасикава, Юя; Ито, Хиро; Нагао, Ацуки (ред.), «Потоковое сжатие данных без потерь», Парадигма сублинейных вычислений: алгоритмическая революция в эпоху больших данных , Сингапур: Springer, стр. 1–12. 391–410, doi : 10.1007/978-981-16-4095-7_16 , ISBN 978-981-16-4095-7

[2] Сангма, Джерри В.; Саркар, Мехла; Пал, Випин; Агравал, Амит; Йогита (01.04.2022). «Иерархическая кластеризация для нескольких номинальных потоков данных с изменяющимся поведением» . Сложные и интеллектуальные системы . 8 (2): 1737–1761. дои : 10.1007/s40747-021-00634-0 . ISSN 2198-6053 .

[1]

[2]