ในทฤษฎีประเภทและการเขียนโปรแกรมเชิงฟังก์ชันสตรีมเป็นอนาล็อกของลิสต์ ที่อาจไม่มีที่สิ้นสุด ซึ่งกำหนดโดยนิยามการเหนี่ยวนำร่วม : ^{[ 1 ] [ 2 ]}

สตรีมข้อมูลα = ไม่มี| Cons α ( สตรีมα )

การสร้างและการประมวลผลด้วยสตรีมนั้นจำเป็นต้อง มี การประเมินแบบเลซี่ (lazy evaluation ) ไม่ว่าจะโดยปริยายในภาษาที่ประเมินแบบเลซี่ หรือโดยการสร้างและบังคับใช้ธังค์ (thunks ) ในภาษาที่ประเมินแบบเอียร์ (eager evaluation) ใน ภาษาแบบโททอล ( total languages ) ธังค์จะต้องถูกกำหนดเป็นโคดาต้า (codata)และสามารถวนซ้ำได้โดยใช้คอร์เคิร์ชชัน (corecursion ) (แบบมีเงื่อนไข)

Javaมี อินเทอร์เฟ ซ Streamภายใต้เนมสเปซ java.util.stream

JavaScriptมีอินเทอร์เฟซReadableStream , WritableStreamและTransformStream ^{[ 3 ]}

Pythonมี คลาส StreamReaderและStreamWriterในโมดูลasyncio ^{[ 4 ]}

.NETมีคลาสแบบนามธรรม^Stream [ ^{5 ] ซึ่ง}ถูกนำไปใช้โดยคลาสต่างๆ เช่นFileStreamและMemoryStream [ ^{6 ]}

ในRustโครงสร้างสามารถใช้งานคุณสมบัติRead ได้ ^{[ 7 ]}นอกจากนี้ยังมี โครงสร้าง Cursorที่ห่อหุ้มบัฟเฟอร์ในหน่วยความจำ^{[ 8 ]}

• การเหนี่ยวนำร่วม