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.
[ Parent
| on HN ]
There are no comments on this comment yet.