News for hackers. Stuff that matters.
Re:Rust's type system is Turing-complete (2017) by TheCoelacanth on Monday March 15, 2021 @10:56PM (#26472400)
Which doesn't matter that much because there is a fairly small limit on how deep recursion can go which you can easily exceed without Turing-completeness, and the distinction between a program that will halt eventually but not within the limit you give it and one that will never halt doesn't matter for practical purposes.

There are no comments on this comment yet.