top | item 30031323

#[you_can::turn_off_the_borrow_checker]

38 points| cherryblossom00 | 4 years ago |docs.rs

29 comments

order

ncmncm|4 years ago

If Rust is not to fizzle like Ada (which got overwhelmingly more investment than Rust has had) it needs a radically faster adoption rate. While several traps imperil Rust's wider adoption -- pathetic compile speed is another: consider JIT in the compiler! -- the borrow checker is an important roadblock for beginners.

There is no practical need to enforce borrow checking on all debug builds: it suffices, for beginners, to know that a production build would fail. Forbidding any sort of testing until after the borrow checker is wholly satisfied generates pointless frustration. Can Rust really afford to drive beginners away? For Rust not to fizzle and die, it needs thousands to adopt it for each who already has. Saying "I persevered, you could too, given some backbone" is a recipe for failure.

Is it strictly worse to (1) let beginners deal with borrow checking a little later in their process, or for (2) the language to fizzle and die? Dying is still a punishingly likely prospect. Network effects matter. I doubt that failing to achieve mainstream adoption would be good for Rust, for current Rust users, or the world.

Everyone considering a language to learn has plenty of choices. A language rarely gets a second try.

ttfkam|4 years ago

You really think things will improve by essentially wrapping entire Rust programs in a huge unsafe block?

Rust isn't targeting the NodeJS crowd at large. It is targeting the systems programming and C++ crowd. And spoken by someone who still has his C++98 hardcover by Stroustrup on his shelf, the alternatives in that space are not one iota easier. The fact that C++ does not mandate the use of smart pointers and requires external tools like Valgrind to find memory access bugs is the problem, not a compiler that tells you where you're wrong.

Security is a pain, but it's not a bug. If you want easier, go for a garbage-collected language—though they rarely help with multithreading faults.

Rust ain't fizzling. It's exactly where it needs to be, solving the kinds of problems it was designed for. There is no need for any one language to solve any and every kind of problem. Different tools for different tasks.

marginalia_nu|4 years ago

> If Rust is not to fizzle like Ada [...] it needs a radically faster adoption rate

I would challenge this. Adoption rate does not mean longevity. There are many flash-in-the-pan technologies that are here one year and gone a few later.

As a concrete example, the adoption rate of Ruby on Rails was nearly vertical in around 2006. PHP was old, boring, adoption was flat if not declining. ROR looked to become become king of the web. Today ROR is largely a legacy technology, a footnote at best. PHP is still here, though. It will likely outlast node, too, despite being an awful language.

Large-scale adoption is a slow march through the decades, and has a lot more with momentum than anything else. A big reason why these antique languages have such sticking power is that they have a mature and well-established ecosystem. If you want a new language to join them, that is where the focus should be.

nynx|4 years ago

Almost every sentence in this comment is wrong.

1. The compiler has been speeding up a lot, it’s about as fast as C++ on large projects.

2. The borrow checker makes Rust usable by beginners. Imagine writing complex pointer code without it. In rust, a beginner can do that safely.

3. Rust is picking up a lot of steam. It’s getting adopted in a bunch of different industries. Rest assured, it’s not going to fail at this point.

mikewarot|4 years ago

If I can turn that stupid thing off, it might be worth learning Rust after all.

udbhavs|4 years ago

In that case you're better off using OCaml with the native target.

Arnavion|4 years ago

You're not going to learn anything useful by turning it off. If that's what's stopping you, don't bother.

jaxrtech|4 years ago

ngl the borrow chicker is miles better than it used to be in terms of implants cit behavior and just dealing with more "natural" scoping patterns. It sure isn't perfect, but at the end of the day, I trust the borrow checker more than my logic to make sure that multi threaded applications do not have threading issues...

errantmind|4 years ago

Why would you want to turn it off? I've been writing Rust code for a while and only struggled with this for the first few weeks. The borrow checker is useful and, while I don't mind some unsafe Rust here and there, I wouldn't want to have a Rust dependency that completely disabled it.

maxbond|4 years ago

This is a curiosity which explicitly asks you not to use it for production. Just an exercise in hacking on the language and making it behave in ways it's not supposed to.

I agree with you; the borrow checker is much of Rust's value proposition, and if one wanted to do without it, then Rust isn't the right tool for their particular needs.

Waterluvian|4 years ago

I’m surprised. I would have assumed that the borrow checker is critical to ensuring your code can even be compiled.