This actually sounds like Rust development (or both FP and OOP development before that, or compilers before that).

By making things simpler and/or more robust, you make some very complex algorithms much more feasible. And you end up with algorithms such as HTTPS or even raft being part of everyday life, despite their complexity.