Login
From:
compilercrim.es
(Uncensored)
subscribe
Compiling Rust is NP-hard
https://compilercrim.es/rust-np/
links
backlinks
Roast topics
Find topics
Find it!
...though it's not the flagship borrow checking that's at fault. What I noticed, and would like to share with you today, is that the exhaustiveness checking performed by the Rust compiler on match patterns is a superset of the SAT problem.
