Rust for TypeScript devs : Borrow Checker
ฝัง
- เผยแพร่เมื่อ 5 ธ.ค. 2022
- Borrow checker is really difficult. the goal of this video is to help you understand the borrow checker better.
ChiselStrike!
GIVE THIS A STAR ALREADY! It has some pretty incredible rust
github.com/chiselstrike/chise...
Twitch
Everything is built live on twitch
Twitch : bit.ly/3xhFO3E
Discord: discord.gg/ThePrimeagen
Spotify DevHour: open.spotify.com/show/4MLaDrQ...
Editor
All my videos are edited by Flip. Give him a follow! / flipmediaprod He is also open to do more editing, so slide deeeeeeeeep into his dms.
Join this channel to get access to perks:
/ @theprimeagen
Links
Linode: linode.com/prime
/ discord
Twitch: / theprimeagen
Insta: / theprimeagen
Twitter: / theprimeagen
VimRC & i3: github.com/ThePrimeagen/.dotf...
Keyboard 15% off bit.ly/Prime360 USE CODE PRIME360
#vim #programming #softwareengineering - วิทยาศาสตร์และเทคโนโลยี
Going from TypeScript to Rust can be very difficult. I sure hope you appreciate this video! I was thinking about making more Rust vs Typescript videos. What do you all think? This one is very educational, but i was also going to just do more comparison (not perf wise, but blazingly ergonomic wise).
thoughts? Also, if you like this, SEND THE ALGORITHMIC SIGNALS
please do.
+1 :) great video!
LOVE IT
Honestly, I was expecting for potential solutions for the second example.
I know there are multiple ways to achieve it, but even after months of trying to learn rust, even these simple interactions can become confusing really fast.
TS to RS playlist would be awesome!
you've made a difficult subject simple. Well done.
ty ty :)
Love the Rust vs Typescript video ideas. It makes Rust easier to understand when you compare it with Typescript and how things are working behind the curtain, your explanation is top notch, keep being great Prime
Nice AD too
ty ty ty :)
@@ThePrimeagen yes, pls, more of this.
@@ThePrimeagen would love to see more comparisons videos
I would LOVE more “Rust for Typescript developers” styled videos. I just started learning Rust with advent of code as well, and have found a lot of things in Rust to be less scary because I know Typescript, while also finding plenty of things that *are* confusing 😂. This video was SERIOUSLY helpful, you have a fantastic ability to teach concepts like these. Thank you prime and happy holidays!
As many before has said, this comparison format (DX I guess) is super nice!
For me, someone who hasn't had time to dive in yet but is wondering how the water feels it really hit a spot. More of this stuff please!
yayaya
I subscribed, and it's so much easier to understand the borrow checker!
of course
Doing AoC with Rust really has been the best way to practically learn these things. Loving learning this awesome language!
agreed
I recently came across a blog suggesting to always make your arrays read-only in typescript. This has really helped med to avoid all the inplace array functions screwing up my data when it's not intentional. It also behaves more like rust immutable arrays. Great video. Keep it up 🤙
I learnt rust during first lockdown for around a month, and almost never touched after that. It was sort of like revision. You did fantastic job explaining important yet confusing concept in simplest way possible.
You made me start to learn Rust and I'm loving it. Currently finishing chapter 10 of the book woohoo
nice
Hi, could you give me the name of book you're reading?
@@boyonline1994 the rust programming language
@@boyonline1994 it's a website
Finished the book yesterday, it is really good! Now, let's go to The Cargo Book :D
Wow that last example was perfect. Thanks for doing this prime! It makes it so much clearer!
yayayayaya!
@@ThePrimeagen yayayayaya
@@ThePrimeagen yayayayaya
Just came here to say, I got inspired to learn rust because of you and NoBoilerPlate; I invested a month in reading the book and now I am learning actix and building a production ready backend in rust. I came so far from javscript to rust because of you, I appreciate you!
I've been struggling in Advent of Code in Rust and the bit at 06:04 sums up perfectly why - Not knowing if a std function, usually an iterator method, mutates in-place or returns a copy. It leads you to a thorn bush of compiler errors. I guess this is just something you learn over time doing Rust?
New merch idea - make a cheatsheet for this, and print it upside down on a T-shirt!
so for the most part its pretty simple to know about iterators.
&object_that_can_iterate = .iter() = immutable references to items within
object_that_can_iterate = .into_iter() = converts object into an iterator (consumes)
.iter_mut() = mutable references
@@ThePrimeagen Oh lord I've just been using the first one, this makes all the difference! Thank you Mr Prime.
Languages like javascript, where everything could happen and you need to know it, give me anxiety.
Thank you @ThePrimeagen, a year after you made the video. I've been going through Advent of Code 2023 (I know, I'm slow) to try to learn Rust and foolishly only did a couple chapters of The Rust Book before switching just to solving problems. Especially with Copilot's assistance, I've been able to work out how to add `&` and `mut` to make my code compile, but I didn't understand _why_ until this video. I had to rewatch every lesson of this video 2-3 times, but now I feel I finally understand this concept that was repeatedly tripping me up.
Wow, the borrow checker blew my mind time after time after time. I felt like I was really stuck in a rut and unable to move forward. That is, until I clicked the subscribe button. Suddenly, everything just clicked. Really revolutionary
Man, great video! You explain things very well; clear and concise. Would love to see more of these.
I started the first few advent of code problems using typescript, I was just starting to try out using rust for the rest of the advent, so this video came just in time. Thank you!
Had multiple “aha!” moments during the span of this short video. Very concise and to the point. Thank you lots for this, it’s very helpful!
Always a good day when I find a new TH-cam channel this great. I'm usually a documentation > video tutorials kind of guy, but it's hard to beat content this good.
Great video as always. Would love one about lifetimes. They are the one concepts that I struggle the most in Rust
Prime has covered it quite well, a few days ago I was thinking I should try rust and I did and I love it. I am following their docs religiously, those who haven't checked out their official docs, these topics are covered there in detail as well. But always thankful to Prime to share this with everyone.
I liked the video but I noticed that the main concepts demonstrated here are already very well explained in Chapter 4 of the Rust book. Not only do you get an explanation of the borrow checker's rules e.g. immutable and mutable reference can't co-exist in the same scope. But you also get an explanation of why it is the way it is intuitively i.e. a user of an immutable reference is still reading from that value, so we don't want it be snatched from under their feet by allowing someone else to write (race condition case). They also mention that the overarching reason the BC is the way it is to manage heap data.
You do a great job of being fun and entertaining while also being extremely informative and educational. Great stuff!
Me (JS/TS dev): start learning Rust.
Primeagen: makes video "Rust for JS devs".
Love it :)
you are welcome
I just started learning Rust, I'm having a hard time understanding some concepts but I'm loving it. Make more videos like this one plsss :)
Just wrote my first Rust thing and it is a native app using Tauri and Yew. This video and many more you have about Rust helped me a lot. Thanks men
Love this, you explain this concepts super well
These three types of values in rust (owned, reference, mutable reference) reoccur everywhere in the language. For iterators, we have .into_iter(), .iter() and iter_mut() for the same three types. For functions we have FnOnce (consumes the value, can therefore only be called once), Fn (takes a reference: can therefore be called multiple times), FnMut (takes mutable reference). It's a very nice language design.
This is the first ThePrimeagen video TH-cam has ever recommended me. I have been binging ThePrimeTime videos for MONTHS and THIS is the FIRST video TH-cam shows me of ThePrimeagen!? But in all seriousness, I guess I need to just learn rust now.
ThePrimeagen is the best teacher .. i swear to god!.
ty ty
Papi Prime getting a sponsor 😱 good for you!
This is amazing and succinct. I literally gave a presentation on this to my company last week (we're primarily Java/JavaScript developers) and it was pretty much beat for beat. Granted I took 30mins instead of 8, but there were a lot of questions 😁
The moment I subscribed on this channel I got all knowledge of Prime and an immediate offer from Netflix. Thank you so much Prime!
First explanation of the borrow checker that actually makes sense, tried a couple of days ago asking chatGPT to rephrase it multiple times with no success, probably not enough blazing speed and momentum
The king of dev content nowadays. Appreciate all the education and entertainment!
I cannot understand why people say that the borrow checker is complex, it does what a C/C++ programmer should be doing when using pointers. Rust people found a brilliant way to automate that reasoning inside tools.
correct
@@ThePrimeagen 0:49 it all makes sense! I could understand the borrow checker because I am subscribed!
I was having trouble understanding this video. Thankfully, I subscribed, and now everything is clear!
I didn't understood the borrow checker until I subscribed.
Thank you Primeagen, you saved my life
you are welcome
This video taught me what borrow checker is BLAZINGLY FAST
Absolutely right
Thank you for this great intro to the borrow checker! 👏👏👏
whoa, subscribing like opened up my brain to understanding primeagen concepts, thanks dawg. 👍
Wow, I absolutely needed this, thank you so much man, please do more
God yes, the number of times in languages where I'm like, "hang on, am I passing a reference or the value here? Welp, just gotta find out!" is silly. I love that rust not only makes it clear, it gives you the choice!
Started learning rust and this is one of those things that were somewhat hard to understand having a background mostly with Go. Loved the video
yayaya
@@ThePrimeagen yayayayaya
started learning rust due to some thick js fatigue and have to say when I code in rust I finally feel like I can write code with at least some certainty that it'll do what I want it to do
Yes. The same when I switched to Go. I stoped playing the game “so what shit will break today?”
Very informative! Can’t wait for your rust course hopefully it’ll fill in the holes for me
Best tutorial ever on borrow checker.. Finally gained some confidence on the same. Thank you so much Primeee...
yayaya
@@ThePrimeagen yayayayaya
Great as usual! Recently Rust caught my attention and I'am very excited to learn more! I'm sure that you posting more Rust content will have a substantial impact on the growth of Rust adoption.👏
Omg i subscribed and now I know everything!! Thank you lord Primeagen
This video convinced me to try Rust! Great work ❤
Having written quite a bit of C++ code, it is extremely freeing to have the compiler check things like ownership. Not only does it make code the more safe, it also becomes more difficult to make dumb architecture decisions.
I really love your videos, they're both informative and hilarious
Thanks, perfect explanation on a complex subject!
I can confirm that the borrow checker was a mystery to me until I subscribed. Once I did, it was as if the crab god directly uploaded the knowledge to my brain. 10/10 would do again.
Love it, more more more!
I'm running thorough AoC with TS but definitely want to go back through in Rust!
not bad for first ad, though i can see more dramatic versions in future like ltt
agreed
Wow, I subscribed and now I totally understand Rust! It’s that easy!
The Rust Book actually explains this pretty well when I read it.
Great explanation. Powerful stuff, especially for a beginner. Please continue making rust videos
Great job primeagen! Very clearly put
I was struggling with learning Rust, particularly the borrow checker. But then I subscribed and it all clicked
Yep, it became clearer to understand once I subscribed.
I would love a whole series like this Rust for TS devs!
Wow, fantastic video!!! Great explanation!
So true, I didn’t understand the borrowchecker, subscribed to your twitch and then got it, first time
The easiest way to beat the borrow checker is to write immutible code and pass by reference. Your debugging team (typically consisting completely of future you) will thank you.
So effectively Rust moves ownership of a value by default (likely to optimize end-recursive functions in a similar way as Haskell) and it makes all variables immutable by default. In comparison C/C++ copies a value by default and makes all variables mutable by default. So that explains why going from it to Rust creates such a headache until you get through this. Anyway good video to understand the concept.
can confirm, I only fully understood borrow checking after subscribing, it was like a door was unlocked and I walked through into a beautiful landscape of full understanding
I am learning blazingly fast because you are teaching rust 🔥
Smashed that subscribe button and suddenly I'm seeing in 4K, understanding quantum physics, and speaking fluent Mandarin... I guess this is how Bradley Cooper felt in Limitless!
I litterally asked GPT-Chat, like 14 hours ago, to show me, a TypeScript dev, a program in both Rust and TypeScript to help me understand this. And this comes out, Thank you!
so GPT-Chat told Primeagen to make this video
@@willi1978 That's the only logical conclusion.
I really love the rust book. Concepts like these are explained quite well.
This is actually a really good explanation! Wish I could double thumbs up ☺️
This is a great talk. I made a small similar post about this for my company, about how Rust checks these things and how coding like this helps us think about how to program better in other languages. Incoming thought dump:
We've been having issues in Grails with an exception called Stale Object. Essentially a reference to a database Domain is getting passed to a service function, mutated with a save(), then outside and after the function that same object is getting mutated with a save(). Groovy lets us compile this code and normally this actually works most of the time. This is a data race. Because it's working with the Database this is an asynchronous process that gets obfuscated and we dont see it. We get this error when things don't catch up in time and the outside object gets updated first followed by the inner reference being updated.
Incomes Rust, if you tried to write the code the same way you'd get borrow checker issues because we tried to hold onto two mutable references at the same time. Showed this to my coworkers and they were kinda blown away that a language and compiler can tell when a data race happens. Imagine, no more data races. No more unknown BS in your code base.
Rust is hard, but most of the time it is correct! And I can use libraries written by Rust authors knowing it is going to work and not worry about some weird bullshit breaking prod code. Long live crab
Amazing vid Prime, thanks a lot for the explanation
SUPER nice explanation (didn't expect anything else when I started watching)
i could not understand a thing until i subscribed and now it makes sense
1:55 - it just clicked in my mind (after 2 years of casually coding in rust): the "use of moved value" can roughly translate to "use after free" error in c / c++, because you're passing ownership of `item` to `print_out_item`, as that function consumes it and rust frees the memory for `item`; therefore, you're trying to use a variable after it's freed from memory.
and that's a safety rule that rust enforces you to take into account. and that's why i mostly pass variables by reference and prefer to use `.clone()` as a last resort.
Thank you, Mr. ThePrimeagen!
I liked the last example. Very nice.
Great content dude. Your channel is gold. Keep it up.
0:47 lmfaooo genuine comedy brother
Short. Compact. Informative. Three pages of the Book in 9 minutes.
Thank you for your knowledge juice ❤
idk why i'm watching this video. I've been coding in rust for 3 years and know all this stuff. i guess ThePrimeagen is just too good of a teacher I want to re-learn what i already know
Yep, this is indeed amazing. I am a developer in multiple languages, with a main focus on C-family languages (especially C#, but also C/C++, JavaScript and Java). So I have seen a lot of things, but what Rust does is certainly special. Everything Immutable by default in combination with memory ownership by default. While still doing many things by-reference a lot like what people do in C++. Such that performance is maintained. Amazing.
I have very recently started to experiment with Rust and I am planning to do a lot more with it. Also taking into account some other thoughs and considerations. This language has absolute potential, even though it's also still missing some features, like varargs.
loved this video would love to see more of these rust explainers
6:32 I Extremely agree!! Oh, heavens!.
When I was first starting to learna language (scripting language) of AHK, I was traumatized by the odd behaviours I had to find through trial and error while working with objects like arrays. The second language I had turned into learning better than just basics was actually rust, and even though it was an about 3-4 months struggles (about 1-4 hours daily on average), It was really pleasant to learn because It was clearer to know what I actually was doing. Now my next pain I'm feeling in rust are web servers (Still reading chap 20), Macros and Iterators
Learning c and c++ and it sounds like how shared pointers and unique pointers planned to work but no one thought them through
This is the first time I actually understood what is the Rust borrow checker.
My intuition is that its a mechanism that forces you to write safe code but at a much lower level. Kind of similar to how TypeScript forces you to write type safe code.
Now I just need an excuse to learn it further. But being in web land I doubt I'll have it soon.
You can totally do backend web dev with rust - check out the Axum framework.
Understanding Borrow Checker with Primeagen is so easy I now borrow without checking. Or something. Learning Rust when you are a Prime subscriber gets so trivial that the only thing that is Rusty nowadays is my JavaScript, which is what the language is by default, rusty.
You get the point, just subscribe to the guy. We need to subscribe until we find out why Maria did what she did. PorqUÊ.
MARIA%V???
Very good video, I never quite understood what the borrow checker was doing until now. The one thing that confuses me, however, as predominant C++ user, is that I am used to "pass by value" meaning that you pass the value into a function and any changes made in the function won't be applied to the overarching object/variable, and pass by reference allows you to directly access the object and change it. Interesting!
I did some leetcode today and was doing some Rust and C, and I thought about why I like to use rust, C often goes faster to get something to work.
And it's because when you write rust code, it takes a while to compile and work, but that's because the compiler more or less forces you to understand what is going on behind the scenes, Like in your last example with the reverse and map. To implement that type of logic, you pretty much NEED to understand what to code does to get it working. Whiles in many other languages you can often get away with code that's: " I don't really know how it works, but it works so I'm happy".
I'm coming from C# but this is VERY helpful for me as well.
I want to write some system stuff in Rust. Seems to be the best language currently for this type of work.
I need more Rust for JS dev videos in my life!
For someone who doesn't really do tutorials, you make a good tutorial :)
this video has saved me from insanity! Thanks
Wow, subscribing actually helped with understanding of Borrow Checker...even if I don't know any rust yet...
its a big improvement, its wild huh?
Oh wow, I didn't understand the Borrow Checker, but then I clicked Subscribe and now it all makes sense!
i knew it!