Compiling Rust is NP-hard

by pcr910303on 11/1/2022, 3:42 AMwith 1 comments

by armchairhackeron 11/1/2022, 4:27 AM

This is because of exhaustiveness checking in match statements, so it applies to many more languages than Rust: most modern languages have match statements whose pattern can be tuples and literals.