Rust's type system is undecidable. You can see a few languages listed here: http... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Zababa on July 8, 2021 \| parent \| context \| favorite \| on: Compiling Rust is NP-hard Rust's type system is undecidable. You can see a few languages listed here: https://3fx.ch/typing-is-hard.html

silon42 on July 8, 2021 [–]

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

kibwen on July 8, 2021 | | [–]

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

randomswede on July 9, 2021 | | [–]

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

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact