Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
chalst
on July 8, 2021
|
parent
|
context
|
favorite
| on:
Compiling Rust is NP-hard
No, this is the time complexity of type checking before any computation on the terms is performed.
Ericson2314
on July 8, 2021
[–]
Yes I am saying that while it is exponential with respect to the input, and it is polynomial with respect to the output.
Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: