Note the use of "infinite" lists, e.g., from 2 = 2, 3, 4, 5, ..., in the functional-programming Sieve of Eratosthenese algorithm.

There are more λ-calculus examples here.