The rust compiler is a great friend for the kind of code I imagine you’re talking about. Expressing ideas in the type system makes the code easier to maintain,

The rust compiler is a great friend for the kind of code I imagine you’re talking about. Expressing ideas in the type system makes the code easier to maintain, because you can’t compile code that deviates from your invariants. I’ve been reviewing rust code at work for over a year now, much more recently having switched to a job where the main language is rust. Knowing in code review that the code compiled successfully is a huge benefit for readability and review, IMO, because you don’t need to go around checking any of the invariants the type system can catch.