Yes, I am still learning Rust

Re:Yes, I am still learning Rust by nunja on Thursday March 12, 2020 @06:47PM (#22562777)

This. Exactly. Also, there is definitely an ongoing effort to make the language simpler, not in the type system which arguably is getting more complex, but in the way the borrow checker is getting smarter. Might be imperceptible at first but really brings a lot in term of ergonomics and productivity.

[ Parent | on HN ]

Re:Yes, I am still learning Rust by _bxg1 on Thursday March 12, 2020 @06:50PM (#22562808)

Simplifying the borrow checker is a slightly different question than simplifying "the language" (meaning the syntax and/or behavior of the syntax), because the latter can break backwards-compatibility (which is why it likely won't happen).

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.

[ Parent | on HN ]

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

[ Parent | on HN ]

Re:Yes, I am still learning Rust by nunja on Thursday March 12, 2020 @06:53PM (#22562834)

Yeah ! That's was the point I was trying to make. It was a breath of fresh air when I switched from Rust 2015 to Rust 2018, without obvious change in the language from my point of view.

[ Parent | on HN ]