Strumień (abstrakcyjny typ danych)
W teorii typów i programowaniu funkcjonalnym strumień jest potencjalnie nieskończonym odpowiednikiem listy , określonym przez definicję koindukcyjną :
strumień danych α = zero | Minusy α ( Strumień α )
Generowanie i obliczanie za pomocą strumieni wymaga leniwej oceny , albo niejawnie w leniwie ocenianym języku, albo poprzez tworzenie i wymuszanie thunków w chętnym języku. W sumie języki muszą być zdefiniowane jako codata i mogą być iterowane przy użyciu (strzeżonej) corecursion .
Zobacz też