Hacker News new | ask | show | jobs
by kryptiskt 2217 days ago
If you have codata you can have infinite loops in total functional programming.

https://en.wikipedia.org/wiki/Corecursion