Unendliche Datenstrukturen

naturals :: [ Integer ]
naturals = from 0 where
    from x = x : from (x+1)
primes :: [ Integer ]

das ist möglich, wenn der tail jeder Listenzelle erst bei Bedarf erzeugt wird.

(Bedarfsauswertung, lazy evaluation)

lazy Liste = Stream = Pipeline, vgl. InputStream (Console)