Compiling Rust is NP-hard

Compiling Rust is NP-hard(compilercrim.es)

3 points by pcr910303 3 years ago | 1 comment

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.

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.