News for hackers. Stuff that matters.

A comment on Why is Idris 2 so much faster than Idris 1?. Parent comment

Re:Why is Idris 2 so much faster than Idris 1? by kryptiskt on Monday May 25, 2020 @10:46PM (#23306972)
If you have codata you can have infinite loops in total functional programming.

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

[ Parent | on HN ]

There are no comments on this comment yet.