Compiling Rust is NP-hard

Re:Compiling Rust is NP-hard by Zababa on Thursday July 08, 2021 @06:30AM (#27770228)

Rust's type system is undecidable. You can see a few languages listed here: https://3fx.ch/typing-is-hard.html

[ Parent | on HN ]

Re:Compiling Rust is NP-hard by silon42 on Thursday July 08, 2021 @06:54AM (#27770368)

I believe there are limits to recursion (as mentioned in link above), so not strictly true. Perhaps they are too big?

[ Parent | on HN ]

Re:Compiling Rust is NP-hard by kibwen on Thursday July 08, 2021 @10:37AM (#27772493)

Rust's recursion limit is fairly low, I believe it's 128. However, you can override this if you find it too restrictive.

[ Parent | on HN ]

Re:Compiling Rust is NP-hard by randomswede on Friday July 09, 2021 @02:31AM (#27780992)

So (tongue firmly in cheek), no Rust compiler actually fully implements Rust?

[ Parent | on HN ]