4 ms·
If you have codata you can have infinite loops in total functional programming. https://en.wikipedia.org/wiki/Corecursion https://en.wikipedia.org/wiki/Corecur
by kryptiskt 6y ago
If you have codata you can have infinite loops in total functional programming.
https://en.wikipedia.org/wiki/Corecursion https://en.wikipedia.org/wiki/Corecursion