Corecursion doesn't require base cases, and it's a perfectly useful way to write programs in languages that support lazy evaluation. I'm not sure base cases ar

Corecursion doesn't require base cases, and it's a perfectly useful way to write programs in languages that support lazy evaluation. I'm not sure base cases are as important as you suggest.