Re:Yes, I am still learning Rust
by steveklabnik on Thursday March 12, 2020 @07:49PM
(#22563282)
The thing is, in some sense, the borrow checker got more complex. But because it accepts more programs, it makes programming in Rust feel less compex. This is related to the waterbed stuff I was talking about elsewhere in the thread.
There is a fine balance here, for example: https://news.ycombinator.com/item?id=22465409
But the borrow checker is an interesting case because simplifying its rules in such a way that they're more tolerant (without sacrificing safety) might reduce cognitive overhead while still being fully backwards-compatible.