Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
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
|
parent
|
next
[–]
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
|
parent
|
prev
[–]
So (tongue firmly in cheek), no Rust compiler actually fully implements Rust?
Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
