ストリーム（抽象データ型）

型理論と関数型プログラミングにおいて、ストリームは潜在的に無限のリストの類似物であり、共帰納的定義によって与えられる：^[1]^[2]

データストリームα = Nil | Cons α (ストリームα )

ストリームの生成と計算には、遅延評価言語では暗黙的に、または、積極的評価言語ではサンクを作成して強制することによって、遅延評価が必要です。トータル言語では、それらはコデータとして定義され、（保護された）コアカージョンを使用して反復処理される必要があります。

.NET のストリーム階層の UML パッケージ図

Java は、java.util.stream名前空間でStreamインターフェイスを提供します。

PythonにはasyncioモジュールにStreamReaderクラスとStreamWriterクラスがあります。^[3]

.NETは抽象クラスStream ^{[4]を提供しており、これは}FileStreamやMemoryStreamなどのクラスによって実装されています。^[5]

参照

^ 山際真一 (2022)、加藤直樹;東川裕也；伊藤、ヒロ；長尾篤樹 (編)、「Stream-Based Lossless Data Compression」、Sublinear Computation Paradigm: Algorithmic Revolution in the Big Data Era、シンガポール: Springer、pp. 391–410、doi : 10.1007/978-981-16-4095 -7_16、ISBN 978-981-16-4095-7
^ Sangma, Jerry W.; Sarkar, Mekhla; Pal, Vipin; Agrawal, Amit; Yogita (2022-04-01). 「進化する動作を伴う複数の名目データストリームの階層的クラスタリング」. Complex & Intelligent Systems . 8 (2): 1737– 1761. doi : 10.1007/s40747-021-00634-0 . ISSN 2198-6053.
^ 「Streams」。Pythonドキュメント。2024年12 月 17 日閲覧。
^ 「Stream クラス (System.IO)」。learn.microsoft.com。Microsoft。2024年12月 17 日に閲覧。
^ 「ファイルとストリーム I/O - .NET」。learn.microsoft.com。Microsoft。2021年 9 月 15 日。2024 年12 月 17 日に閲覧。