Rust's type system specifically facilitates more powerful tools: https://github.com/willcrichton/flowistry