4 ms·
Bingo. But most people also like to kvetch and moan about the restrictions imposed by programming with only structural recursion and productive corecursion --
by eli_gottlieb 11y ago
Bingo. But most people also like to kvetch and moan about the restrictions imposed by programming with only structural recursion and productive corecursion -- even though those are usually exactly what we want.
- eru 11y agoEspecially if you get an easy way out for when you need it. Like unsafePerformIO, but for calling not-proven-to-be-terminating functions. Or an explicit marker like the wrapping monads for side-effecting functions.