top | item 33416630

Compiling Rust is NP-hard

3 points| pcr910303 | 3 years ago |compilercrim.es

1 comment

order

armchairhacker|3 years ago

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.