>all the subtleties in memory management and resource accounting), and anybody who thinks that the choice of language simplifies those things a lot is likely to

>all the subtleties in memory management and resource accounting), and anybody who thinks that the choice of language simplifies those things a lot is likely to be very disappointed Those are exactly two of the things that Rust and many languages with complex type systems tackle and very successfully help out with: Instead of having to get it right every time and having to pay special attention in the edge cases, you define it well and then let the compiler help you catch misuses.