No video

My favorite Rust design pattern

  Рет қаралды 34,381

Let's Get Rusty

Let's Get Rusty

Ай бұрын

Today we are discussing one of my favorite Rust design patterns... extension traits! Along the way, we will learn about Rust's unusual orphan rule and a best practice Rust library authors should follow!
Free Rust cheat sheet: letsgetrusty.c...

Пікірлер: 96
@letsgetrusty
@letsgetrusty Ай бұрын
Get your *FREE Rust cheat sheet* : letsgetrusty.com/cheatsheet
@addmoreice
@addmoreice Ай бұрын
chrono not chorno
@anonion6821
@anonion6821 19 күн бұрын
chrono not chorno
@kchaitanya39
@kchaitanya39 Ай бұрын
No arch users were hurt during the making of this video
@bocchitherock-ob2bl
@bocchitherock-ob2bl Ай бұрын
i'm offended. Ubuntu and Manjaro are the 2 distros i absolutely refuse to have on my device. the closest distro to Ubuntu that is actually great is Mint.
@kchaitanya39
@kchaitanya39 Ай бұрын
@@bocchitherock-ob2bl why
@bocchitherock-ob2bl
@bocchitherock-ob2bl Ай бұрын
@@kchaitanya39 Ubuntu: 1st reason is Unity, 2nd is sudo apt install firefox. Manjaro: the devs don't know what they are doing, they recommend not using the aur on manjaro (which is my main reason for using arch) but still made pamac and ddos'ed the aur servers 2 times.
@peaky3986
@peaky3986 Ай бұрын
Btw, i use arch
@thingsiplay
@thingsiplay Ай бұрын
@@bocchitherock-ob2bl I used Ubuntu exclusively for 13 years and then switch to the next meme distro Manjaro. I had enough after 1.5 years.
@xucongzhan9151
@xucongzhan9151 28 күн бұрын
C# extension method has been one of my favorite features, and I am really happy to see it being loved in other mainstream languages. (I do love Rust and Kotlin)
@gpcureton
@gpcureton Ай бұрын
I said in a work meeting that I like using "chorno", now I'm having a sit-down with HR 🤷
@johnt1342
@johnt1342 Ай бұрын
First time I've heard an explanation of the orphan rule that made sense. Thank you, haha.
@letsgetrusty
@letsgetrusty 13 күн бұрын
I got you!
@CjqNslXUcM
@CjqNslXUcM Ай бұрын
I wasn't redirected. I guess my fingerprint is too hardened.
@greblus
@greblus Ай бұрын
I actually find it quite funny 😅
@Funny0facer
@Funny0facer Ай бұрын
as an arch user I can tell: my user agent does not contain Arch.
@motozirillo
@motozirillo Ай бұрын
as an arch user, they do not need a user agent to identify us
@Funny0facer
@Funny0facer Ай бұрын
@@motozirillo true
@BillieTheGoose
@BillieTheGoose Ай бұрын
Nice! Rust enables extending the standard types without the global "prototype pollution" style problems of JS.
@coffee-is-power
@coffee-is-power Ай бұрын
There's a typo at the end, you wrote chorno instead of chrono
@31redorange08
@31redorange08 Ай бұрын
It's not a typo. It's the Ukrainian equivalent of the n-word.
@misterinterrupt
@misterinterrupt 27 күн бұрын
its not delivery, its dechorno
@letsgetrusty
@letsgetrusty 13 күн бұрын
Or was it...
@orterves
@orterves Ай бұрын
Very clear demonstrations of some very cool features of Rust.
@kamertonaudiophileplayer847
@kamertonaudiophileplayer847 Ай бұрын
Yes, an extension trait is a very powerful. I wildly used it in Swift and now in Rust;
@TheNoirKamui
@TheNoirKamui Ай бұрын
Thank you for talking about this! I think this trips up allot of people and you explained it nicely. I had to think about it just recently because someone asked me how you could implement Copy for Rc, exactly this problem.
@ben_zh
@ben_zh Ай бұрын
As an Arch user I would appreciate a bigger challenge 😂
@eatenpancreas
@eatenpancreas Ай бұрын
damn, i really love the "chorno" crate, wow, the "chorno" crate is truly the best!
@steamer2k319
@steamer2k319 Ай бұрын
I am the great chornolio! I need TZ for my crate hole! Heh! Heh! Mmm.
@jackoneill1969
@jackoneill1969 Ай бұрын
@@steamer2k319 haha, a classic!
@NuflynMagister
@NuflynMagister Ай бұрын
Дякую, Богдане!
@luiscarlosjayk
@luiscarlosjayk Ай бұрын
Wow, this is really powerful to extend functionality of crates we use and need to customize for our needs. Thanks for sharing!
@letsgetrusty
@letsgetrusty 13 күн бұрын
Thanks for watching Luis! :)
@gustavoshigueo
@gustavoshigueo Ай бұрын
4:24 you graciously flashbanged the shit out of me lmao
@advanceringnewholder
@advanceringnewholder Ай бұрын
4:20 cheeky
@codexed-i
@codexed-i Ай бұрын
4:25 send NixOS users to an arch linux installation tutorial 5:17 rename UniqueIterator to Unique to comply with the stdlib naming conventions
@adityanithariya
@adityanithariya 25 күн бұрын
What are stdlib naming conventions?
@codexed-i
@codexed-i 23 күн бұрын
@@adityanithariya At least for Iterators, it is just the name of the iterator like: Map, Slice or Filter (check it out)
@Tesfamichael.G
@Tesfamichael.G Ай бұрын
Thank you Bogdan! great leason.
@porky1118
@porky1118 11 күн бұрын
I think, the orphan rule has some interesting "political" implications. Because of the orphan rule, people are more likely to contribute to a library they are using instead of implementing something themself. And it's more likely that communities form around some specific crate. For example basically every crate uses serde. If I write my own serialization library, it's very difficult to use it with popular crates. So if I want some custom serialization, I either have to write my own library or have to cretae some wrapper library or something like that. It's pretty annoying and something like this might lead to a split in the ecosystem, where some libraries use the one crate and others use the other crate.
@Element_Finland
@Element_Finland Ай бұрын
Oh! Why the rule exists is so logical I'm shocked I never put two and two together.
@ClearerThanMud
@ClearerThanMud 27 күн бұрын
Well done --- one of your best!
@michaelschnell5633
@michaelschnell5633 28 күн бұрын
I now did try to use the extension trait design pattern to to "override" / enhance the .into() method of the Error type to allow for an &String. I did not succeed. Is this possible ?
@joshuathomasbird
@joshuathomasbird 27 күн бұрын
as someone who uses ubuntu and who used to have arch on a previous machine; ubuntu is really annoying. Its not a rolling release and in order to get Sid installed you have to jump through a bunch of silly hoops to get it. Arch is actually up to date (if a *little* unstable.. but so is sid..) and doesn't require a special terminal ceremony to upgrade.
@johanmilterjakobsen1627
@johanmilterjakobsen1627 Ай бұрын
Nice video. One funny thing though. You spelled Chrono wrong in the end of the video...
@luigidabro
@luigidabro Ай бұрын
Started my pc, went to the website, but nothing. No redirect. Sad :((
@thingsiplay
@thingsiplay Ай бұрын
chorno is my favorite Rust design pattern.
@carlosmspk
@carlosmspk Ай бұрын
I understand the possibility for conflicting implementations exist, but if that's truly the reason, why not simply check for those conflicts at compile time and allow them if no conflicts exist? It seems like it would be perfectly fine to implement a foreign trait on a foreign struct, it seems hardly necessary, but why prohibit it? It doesn't seem like a bad idea to me, and your external User example is a use case I come accross all too frequently, particularly with the Debug trait which I use extremely often (probably like most people)
@InfiniteCoder01
@InfiniteCoder01 Ай бұрын
Imagine if there was a trait A and type TA in crate ca, crates cb and cc both have different implementations of A for TA. And if this issue only pops up when all 3 crates are used together, it will be a pain
@carlosmspk
@carlosmspk Ай бұрын
@@InfiniteCoder01 Ohhhh, I see, I was only thinking from a final user's prespective (i.e. someone making an app, not someone making a crate). Thanks!
@alexspencer4639
@alexspencer4639 Ай бұрын
Could you remove the need for Clone by storing only the hashes rather than the Items?
@davidmc971
@davidmc971 24 күн бұрын
4:11 joke's on you: My user agent only says Linux and I use Arch btw x)
@RustyNova
@RustyNova Ай бұрын
And if you want to skip the boiler plate, just use the extend crate.
@solmateusbraga
@solmateusbraga 26 күн бұрын
Y'all, any good mobile frameworks in Rust yet? Every time I need to write Dart for Flutter I want to throw myself off a bridge. Can't figure out a simple ffi that'd work for me to have Rust as backend to Flutter, so I want to change completely.
@yusufpapurcu
@yusufpapurcu Ай бұрын
4:28 💀
@gr6483
@gr6483 Ай бұрын
Does it work with decorators like wasm_bindgen ? thanks
@undefined24
@undefined24 Ай бұрын
Emotional damage for Arch users
@thekwoka4707
@thekwoka4707 Ай бұрын
The main aspect of the orphan rule not mentioned, is the part that gives it it's name: that you can't have the trait implementation orphaned from the trait or struct it's working with. So you don't have third party crates implementing traits on structs and fucking everything up How would you even bring that into scope?!?! Nobody knows.
@mintx1720
@mintx1720 Ай бұрын
The best extension method pattern in rust is obviously reverse refcast deref.
@skaneprime
@skaneprime Ай бұрын
4:20 Ultrakill
@michaelschnell5633
@michaelschnell5633 Ай бұрын
While I need to do my own example for the extension trait I'd like to comment on deriving external structs (which I did e.g. for Error) : struct MyError (Error). This allows for implementing external traits on that type. (I did this e.g. with From ) Unfortunately now I need to access the original features of Error by "my_error.0". IMHO it would be beneficial in this (and other) situation, if the compiler could infer the ".0" automatically, if only a single element is defined in a tuple struct and the item is found there. What do you think ?
@adityanithariya
@adityanithariya 25 күн бұрын
But don't you think doing it for tuple is bit explicit, and not that necessary, as it's providing those features in other forms?
@michaelschnell5633
@michaelschnell5633 25 күн бұрын
@@adityanithariya first I did a simple function that created a new error with the text in the argument. I found that not very "iconic" but wanted to use "into()" or "from()". That was possible by doing the derived struct (and using same all over the place instead of "Error"). But doing an extension trait and staying with the "Error" type would be even more "iconic", if that is possible,
@adityanithariya
@adityanithariya 25 күн бұрын
@@michaelschnell5633 Yeah, that would be modular and more friendly!
@michaelschnell5633
@michaelschnell5633 25 күн бұрын
@@adityanithariya an even more obvious example: I can do: let i:i32 = 1; let f: f64 = x.into(); I even can do fn ff(f: F) -> f64{ f.into() } let i:i32 = 1; let f = ff(i); and have the compiler infer the appropriate "From" when calling the function with whatever type !!!!. but I can't do let i:i64 = 1; let f: f64 = x.into(); -> the trait `From` is not implemented for `f64`, which is required by `i64: Into` this is obviously OK, as it would loose accuracy. But what if I in my project know that the all i64 will be small enough, I don't care about loosing accuracy or want a panic if the u64 is too big ? How could I implement a custom From for f64 ? I am not allowed to do impl From for f64{}; even though the lack of same exactly is the error message above :( (hence no ambiguity)
@michaelschnell5633
@michaelschnell5633 25 күн бұрын
@@adityanithariya A way to implement a default filed for structs (the fields and methods of which would be usable as fields and methods of the main struct) could be to define same by an appropriate #[.... attribute to such field, By that there would be no danger to break any existing code.
@JohnHogglested
@JohnHogglested Ай бұрын
Wouldn't it be reasonable to ensure the proper working order of devices prior to requiring functionality of bother the phone and its user. I'n doing so you could avoid cases such as whats happening currently, which no script can remedy. Thar way I can leverage my ittorator more bettered. Because now ì behind schedule and in a worse mood that previously thought I could be in.
@dsal3389
@dsal3389 Ай бұрын
I wasn't redirected :(, I use arch BTW
@carlosmspk
@carlosmspk Ай бұрын
I tried to change my user agent to "Arch Linux" too and it didn't work, which makes sense, but I was lowkey hoping he'd be that cheeky
@tuna5618
@tuna5618 Ай бұрын
Babe wake up new LGR just dropped.
@pippinproductions
@pippinproductions Ай бұрын
what if two extension traits from different crates have the same name?
@InfiniteCoder01
@InfiniteCoder01 Ай бұрын
You can only use functionality from the extension trait if you import it. And rust won't let you import two traits with the same name. But you can import those traits using different names, which will cause ambiguity. Then you'll need to specify, function from which trait to use
@redcrafterlppa303
@redcrafterlppa303 Ай бұрын
1:00 this isn't what the orphan rule is about. This wouldn't work even without the orphan rule. The orphan rule is about preventing you from adding unexpected behavior to a foreign type that is defined in a foreign trait. For example there is the copy trait of the rust std library. You could implement it for any type changing the behavior for the type could result in the type not working like it was designed to. Or an serializable trait in a serialization crate and a struct with Passwords in another crate that should not be serializable. The orphan rule prevents a 3rd actor to break the contract or purposely lack of between a trait and a type.
@LovelyBozo
@LovelyBozo Ай бұрын
arch btw. did not get redirected to Ubuntu install page and am extremely disappointed
@anamoyeee
@anamoyeee Ай бұрын
Why is the orphan rule even a thing? wouldn't the compiler be able to detect that you are implemetning a trait that results in a conflict and just abort the compilation and in all other cases let you define the trait?
@engelshernandez5898
@engelshernandez5898 Ай бұрын
I'm installing Ubuntu
@thingsiplay
@thingsiplay Ай бұрын
Arch users are too busy to cancel you on the social network.
@paddyk45
@paddyk45 Ай бұрын
nyaa
@sunofabeach9424
@sunofabeach9424 Ай бұрын
make a wrapper then derive(Deref) yes that's anti pattern no I don't care
@christopherprobst-ranly6357
@christopherprobst-ranly6357 Ай бұрын
chorno lol 😂
@joshuaPurushothaman_
@joshuaPurushothaman_ Ай бұрын
first-ish! :)
Rust's second most complicated feature explained
7:48
Let's Get Rusty
Рет қаралды 30 М.
8 deadly mistakes beginner Rust developers make
14:14
Let's Get Rusty
Рет қаралды 163 М.
Secret Experiment Toothpaste Pt.4 😱 #shorts
00:35
Mr DegrEE
Рет қаралды 42 МЛН
All Rust features explained
21:30
Let's Get Rusty
Рет қаралды 300 М.
The standard library now has all you need for advanced routing in Go.
13:52
Rust Tips to Boost your Skill
4:22
Rust without rust
Рет қаралды 448
Rust Functions Are Weird (But Be Glad)
19:52
Logan Smith
Рет қаралды 132 М.
My 10 “Clean” Code Principles (Start These Now)
15:12
Conner Ardman
Рет қаралды 202 М.
why rust libraries may never exist.
7:26
Low Level Learning
Рет қаралды 240 М.
Rust is easy... (we make it hard)
10:11
Let's Get Rusty
Рет қаралды 120 М.
Rust's Most Important Containers 📦 10 Useful Patterns
17:11
Code to the Moon
Рет қаралды 119 М.
Rust Data Modelling Without Classes
11:25
No Boilerplate
Рет қаралды 168 М.
Andrew Kelley   Practical Data Oriented Design (DoD)
46:40
ChimiChanga
Рет қаралды 74 М.