Compiling Rust is NP-hard

…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. Read more

Similar

Rust regex engine internals as a library

Over the last several years, I’ve rewritten Rust’s regex crate to enable better internal composition, and to make it easier to add optimizations while maintaining correctness. In the course of this rewrite I created a new crate, regex-automata, which expo... (more…)

Read more »

Rust Roadmap Tracker

As part of RFC 1728, each year the Rust community puts together a roadmap laying out a vision for improvements to Rust over the course of the year. The 2017 roadmap was decided in RFC 1774.

Read more »