Rust for TypeScript devs : Borrow Checker

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

[@ThePrimeagen]

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

[@yasintonge823]

please do.

[@gergelypaless5042]

+1 :) great video!

[@NathanHedglin]

LOVE IT

[@duwangchew]

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.

[@mr_gryphon]

TS to RS playlist would be awesome!

[@luisdourado9057]

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

[@ThePrimeagen]

ty ty ty :)

[@summerWTFE]

@@ThePrimeagen yes, pls, more of this.

[@user-qr4jf4tv2x]

@@ThePrimeagen would love to see more comparisons videos

[@geoffl]

you've made a difficult subject simple. Well done.

[@ThePrimeagen]

ty ty :)

[@lvgsredarmy8776]

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!

[@tristuggla]

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!

[@ThePrimeagen]

yayaya

[@scottiedoesno]

Doing AoC with Rust really has been the best way to practically learn these things. Loving learning this awesome language!

[@ThePrimeagen]

agreed

[@SIMULATAN]

I subscribed, and it's so much easier to understand the borrow checker!

[@ThePrimeagen]

of course

[@MrSpiftire]

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 🤙

[@basudevadhikari22]

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.

[@Al-ws7cn]

Man, great video! You explain things very well; clear and concise. Would love to see more of these.

[@ambuj.k]

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!

[@tylerlaprade642]

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.

[@arcstur]

You made me start to learn Rust and I'm loving it. Currently finishing chapter 10 of the book woohoo

[@ThePrimeagen]

nice

[@boyonline1994]

Hi, could you give me the name of book you're reading?

[@alaouiamine3835]

@@boyonline1994 the rust programming language

[@alaouiamine3835]

@@boyonline1994 it's a website

[@arcstur]

Finished the book yesterday, it is really good! Now, let's go to The Cargo Book :D

[@harsha1306]

Wow that last example was perfect. Thanks for doing this prime! It makes it so much clearer!

[@ThePrimeagen]

yayayayaya!

[@AlFredo-sx2yy]

@@ThePrimeagen yayayayaya

[@cryodawn]

@@ThePrimeagen yayayayaya

[@naterardin8053]

Always a good day when I find a new KZbin channel this great. I'm usually a documentation > video tutorials kind of guy, but it's hard to beat content this good.

[@naung01]

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!

[@andrewalbrecht4547]

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 😁

[@JamieMG_]

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!

[@ThePrimeagen]

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

[@JamieMG_]

@@ThePrimeagen Oh lord I've just been using the first one, this makes all the difference! Thank you Mr Prime.

[@ShilohFox]

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!

[@BradCypert]

You do a great job of being fun and entertaining while also being extremely informative and educational. Great stuff!

[@guilhermerodovalho9988]

Great video as always. Would love one about lifetimes. They are the one concepts that I struggle the most in Rust

[@thepisewigeon]

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 :)

[@akashdeepnandi]

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.

[@manuillo94]

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

[@aleksandrbalev5368]

The moment I subscribed on this channel I got all knowledge of Prime and an immediate offer from Netflix. Thank you so much Prime!

[@josgraha]

whoa, subscribing like opened up my brain to understanding primeagen concepts, thanks dawg. 👍

[@kunodragon4355]

I was having trouble understanding this video. Thankfully, I subscribed, and now everything is clear!

[@zackchen6280]

I didn't understood the borrow checker until I subscribed. Thank you Primeagen, you saved my life

[@ThePrimeagen]

you are welcome

[@ethanwilkes4678]

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

[@cherubin7th]

Languages like javascript, where everything could happen and you need to know it, give me anxiety.

[@maxverb]

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.

[@user-ex9zs4zv3e]

Me (JS/TS dev): start learning Rust. Primeagen: makes video "Rust for JS devs". Love it :)

[@ThePrimeagen]

you are welcome

[@Nintron]

Papi Prime getting a sponsor 😱 good for you!

[@007Derin]

Omg i subscribed and now I know everything!! Thank you lord Primeagen

[@RenaudAlly]

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.

[@jonispatented]

This is the first ThePrimeagen video KZbin has ever recommended me. I have been binging ThePrimeTime videos for MONTHS and THIS is the FIRST video KZbin shows me of ThePrimeagen!? But in all seriousness, I guess I need to just learn rust now.

[@thegalluzz]

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

[@ietsization]

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.

[@boreddad420]

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

[@alexroman8878]

Yes. The same when I switched to Go. I stoped playing the game “so what shit will break today?”

[@lwlhectorlwl]

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

[@ThePrimeagen]

yayaya

[@AlFredo-sx2yy]

@@ThePrimeagen yayayayaya

[@whitefluffycloud]

The king of dev content nowadays. Appreciate all the education and entertainment!

[@saurabhshinde1855]

Best tutorial ever on borrow checker.. Finally gained some confidence on the same. Thank you so much Primeee...

[@ThePrimeagen]

yayaya

[@AlFredo-sx2yy]

@@ThePrimeagen yayayayaya

[@Drama-ck2tp]

Very informative! Can’t wait for your rust course hopefully it’ll fill in the holes for me

[@IsakFilms]

Love this, you explain this concepts super well

[@gianlucacioni93]

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.👏

[@snoopy8870]

ThePrimeagen is the best teacher .. i swear to god!.

[@ThePrimeagen]

ty ty

[@richardsteward7808]

Wow, I absolutely needed this, thank you so much man, please do more

[@moodynoob]

I really love your videos, they're both informative and hilarious

[@mharbol]

I was struggling with learning Rust, particularly the borrow checker. But then I subscribed and it all clicked

[@jjferman2587]

Wow, I subscribed and now I totally understand Rust! It’s that easy!

[@FlickeringBytes]

Thank you for this great intro to the borrow checker! 👏👏👏

[@JesseUnderscoreMartin]

Love it, more more more! I'm running thorough AoC with TS but definitely want to go back through in Rust!

[@codu]

This video convinced me to try Rust! Great work ❤

[@reilandeubank]

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!

[@Miginyon]

So true, I didn’t understand the borrowchecker, subscribed to your twitch and then got it, first time

[@equu497]

Great explanation. Powerful stuff, especially for a beginner. Please continue making rust videos

[@everkosus]

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.

[@micoberss5579]

This video taught me what borrow checker is BLAZINGLY FAST

[@ThePrimeagen]

Absolutely right

[@rocamonde]

Great content dude. Your channel is gold. Keep it up.

[@amanksdotdev]

not bad for first ad, though i can see more dramatic versions in future like ltt

[@ThePrimeagen]

agreed

[@quintondeanmusic]

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

[@thegenxgamerguy6562]

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.

[@DNA912]

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".

[@inconnn]

The Rust Book actually explains this pretty well when I read it.

[@htspencer9084]

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!

[@thedreadedgman]

since I was subscribed already, it's so much easier to know the borrow checker completely

[@Kriszzzful]

I would love a whole series like this Rust for TS devs!

[@melodyogonna]

Yep, it became clearer to understand once I subscribed.

[@flokipanda]

I am learning blazingly fast because you are teaching rust 🔥

[@yy-xv9vw]

This is actually a really good explanation! Wish I could double thumbs up ☺️

[@skdamico13]

Great job primeagen! Very clearly put

[@softwareadministrato]

Wow, subscribing actually helped with understanding of Borrow Checker...even if I don't know any rust yet...

[@ThePrimeagen]

its a big improvement, its wild huh?

[@fuhrmanns]

Thanks, perfect explanation on a complex subject!

[@fstew1]

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

[@pif5023]

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.

[@ThePrimeagen]

correct

[@pif5023]

@@ThePrimeagen 0:49 it all makes sense! I could understand the borrow checker because I am subscribed!

[@nsttt]

Amazing vid Prime, thanks a lot for the explanation

[@renegade5942]

i could not understand a thing until i subscribed and now it makes sense

[@looming_]

I really love the rust book. Concepts like these are explained quite well.

[@farzadmf]

SUPER nice explanation (didn't expect anything else when I started watching)

[@mishahrokhola1289]

Very cool video. I'm fun of "typescript", but "rust" with its explicit keyword about mutation makes me think I could fall in love with this language. Don't know rust btw, but want to start learning it after watching this video))

[@bertrodgers2420]

I like that, it seems like a compiler-level CommandQuerySeparation pattern. I force that pattern in our team's coding guidelines as - like you say - it's pretty terrible when you don't know whether a function will mutate the args or not Ta

[@MrZiyak99]

loved this video would love to see more of these rust explainers

[@flacdontbetter]

Just started learning rust while doing AOC and I haven't had so much fun since I started programming years ago!

[@hacktor_92]

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.

[@wlockuz4467]

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.

[@caerphoto]

You can totally do backend web dev with rust - check out the Axum framework.

[@plato4ek]

Hi, @ThePrimeagen ! How did you made those fancy hints and errors with boxes inside Vim? Some plugin? Extra config? BTW, I use Arch^W^W am subscribed. :)

[@hypergraphic]

For someone who doesn't really do tutorials, you make a good tutorial :)

[@honotiro]

Cool video Prime! You could make it a series, where you "translate" simple TS apps to Rust. I'd watch that with great interest ✌

[@kima.brandt7795]

Please continue to tear down Rusts steep learning curve, by example. I like and enjoy the format of your videos 🤟

[@void_star_void]

Great video, I have a feeling it's not gonna fix problems, one day you join a company excited to work on a rust project and then open it up and see everything is a mut :)

[@zvrk]

I do want to do that! Keep making more of these videos with ts and rust!

[@jongeduard]

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.

[@diegolikescode]

Thank you for your knowledge juice ❤

[@codetothemoon]

Wow, fantastic video!!! Great explanation!

[@arcanernz]

I was so confused then I subscribe, now I’ll writing a multi-threaded wait-free red-black tree algorithm in Rust. Thanks @ThePrimeagen.

[@jhonatanjacinto]

That was amazing. At the end, this borrow checker thing is not that hard to grasp at all (once you have some experience with programming in other languages, of course). I also like the idea of explicitly say in the code what is mutable and what is not. That is a plus for Rust indeed. That makes code much clearer and predictable, I believe. Good job, Prime!

[@jonashansen2512]

Didn’t know mutating by reference was called borrowing, that’s when it clicked for me. Thanks Primeagen :)

[@pyrelox1739]

Was so easy to understand the borrow checker. I guess it always would be.. since I'm subscribed! 😎

[@ThePrimeagen]

always is easy when you do that :)

[@uwumarie]

really nice video. Also great idea to compare with typescript

[@Ben-zm6cb]

I’ve subscribed as u sad and it happens like magic. I need more dev advices’s like this