How to read complicated Rust types

Рет қаралды 51,543

Жыл бұрын

Learn Rust at www.rustadventure.dev
The Warp docs: docs.rs/warp/latest/warp/trai...
Twitter: / rustadventure
Twitter: / chrisbiscardi

Пікірлер: 65

@jamese.spivak4170 Жыл бұрын

I'm speechless. This was so incredibly helpful! Exactly what I was looking for and more. It's crazy how much info there is to unpack in that one example. Rust is so strict and descriptive, while not being overly verbose --- one of the reasons I'm loving this language. Anyway, really appreciate seeing your thought process as you tackle a complicated function like this and your ad-lib-ish teaching style! Looking forward to more vids

@Randych Жыл бұрын

your second name literally means male singer in Ukrainian you're welcome

@foobar8894 Жыл бұрын

Story of my life. I don't handle rejection very well and I always get into generic arguments with people.

@allan710 Жыл бұрын

Sized is a marker trait, it is basically used to mark a type and say it can't be dynamic, which means that you can't have a Vec because Filter must be sized.

@Holobrine 11 ай бұрын

In more detail: Sized suggests wanting to instantiate the type, which requires the compiler to know how big the type is so it can allocate enough memory. But this cannot be done for dynamic types; the exact concrete type is unknown at compile time by definition, and therefore so is its size. You can either have trait methods instantiating Self or dynamic trait objects, but you cannot have both and Sized indicates which you intend for. You _can_, however, only put Sized in trait bounds for the methods that need to instantiate Self, and those methods will simply be inaccessible to trait objects of that trait.

@Cawnnak 4 ай бұрын

Reading doc is super power that no one want to teach you because this is the source of their super power. I'm gonna start learning from the docs itself.

@ericktorres9791 Жыл бұрын

YOU ARE AMAZING! Your channel is so underrated. Every video that you create is always approachable and easy to follow, even without understanding everything. Thanks so much for everything that you do

@josebaiturregui37 2 ай бұрын

Great content!.. A video like this does more to an advanced level programming than any hard code programming video can do.. thus with a proper and effective way to look into documentation you're half way there.

@user-pw6so9mk4p 5 ай бұрын

This is gold beginners like me avoid docs as long as possible cos its seems overwhelming but you broke it down clearly cannot thank you enough

@walterwhite7924 Жыл бұрын

Good content. Very informative and worth a sub. I found this via the homepage. Ive been consuming some rust related content lately. Never used the language yet and Ive been put off by many cases like this. As a personal background I am a hobbyist developer with primarily java experience.

Жыл бұрын

I greatly value this video for its immense usefulness, as it provides a wealth of valuable insights and information. Your generosity in sharing such valuable knowledge is deeply appreciated, and it demonstrates your commitment to empowering others through education and enlightenment.

@BosonCollider Жыл бұрын

The quick answer I would give for this case, is that it is a method on a trait that returns a type which has the same name as the function but in uppercase. In those cases, the very first thing I would check is whether the returned type satisfies the trait it is defined on, in this case whether it returns a filter. In those cases, the idea is generally that you do not care what specific filter you have, you just care that you have an object satisfying that interface, and filter is a method that takes a filter and return a filter, possibly modifying it/adding middleware in some way.

@marko-lazic Жыл бұрын

Amazing videos. I am glad you are getting so many views.

@kevinhertelt7116 Жыл бұрын

I like almost any content you create for us

@Tobi-gl2lb Жыл бұрын

Excellent walkthrough, thank you!

@qexat Жыл бұрын

Hi Chris, I'm very thankful for the subtitles. Could you make them a bit more split please? The wall of text sometimes hides the video and it can be hard to focus to read all in once. Thank you in advance!

@maxcross5454 Жыл бұрын

I'm actually very surprized how intuitive this function looks. If you just know the consept of traits and at least heard of associated types, then this code means exactly what it's looks like: Self: has to implement filter trait, associatied type Error of witch has to be Rejection, and it also has to implement Func; F: has to implement Func with generic arg Rejection F::Output (associated type of Func, since we already specified that F implements Func) has to implement traits TryFuture + Send, F::Output::Error (associated type of TryFuture, as we manualy speccified) has to implement IsReject. The only two things that are not really clear for me: 1) Why we HAVE TO speccify F::Output as TryFuture to set constraint to Error, but don't have to specify F as Func to set constraint to Output? I thought that this is because Output constrained to implement 2 traits (TryFuture + Send), but if i remove Send, it still won't compile unless I manualy speccify Output as TryFuture... 2) Why I get an error if I remove Sized constraint from Self? I thought that the type of Self already has to be known at compile time => size also has to be known. Actually, I found answer to the second question: it's because trait object exist (dyn &MyTrait), so theoreticly Self can be not known at compile time. Still, a bit confusing...

@piguyalamode164 10 ай бұрын

The answer to 1 is probably that F::Output may implement some other trait with an associated type named Error, so we have to specify which Error type we mean(in this case we mean the one associated with TryFuture)

@netify6582 Жыл бұрын

Very well explained, thanks a lot!

@andydataguy Жыл бұрын

Great video! Thank you 🙏🏾

@haystackdmilith Жыл бұрын

Thanks for this. The associated type thing helped me a lot!

@christopher8641 Жыл бұрын

Super helpful video !

@Amapramaadhy Жыл бұрын

Love it! Speaking of breaking things down, I'd love for you to do a video on "how to grok the rust docs"! Half the time, I give up when I cant _effectively_ look things up in the docs. I feel like it has its own grammar so to speak.

@chrisbiscardi Жыл бұрын

Do you have an example of something that you'd like to look up more effectively? Maybe something recently that you've tried to look up and found hard?

@Amapramaadhy Жыл бұрын

@@chrisbiscardi For sure. Lets take the simplest example. I want to learn more about "option" (because I saw something about Some/None). I head over to docs page and searching for "option" returns 20+ item. Not knowing much I pick "std::option" (the first result for me). Ooops. Its a barren looking page with `struct` and `enum` on the sidebar. So, I click on both only to find link within the same page. The struct link sends me off to IntoIter, Iter etc. Lot of clicking. Finally I come back to enum which sends me to option type. Finally begins to look familiar. But now the left sidebar has 5+ items with gazillion sub items. Hopefully you get the pic 😂

@charltonrodda Жыл бұрын

FYI at 7:04 you could have used the little arrow in the top left corner to expand the file list and opened recover.rs from there!

@ajf Жыл бұрын

thx

@G11713 7 ай бұрын

Nice. It is also important to note that this `recover` method consumes its object, `self`.

@Driver___ Жыл бұрын

So it should be read like this? Self should implement Filter (with Error, where Error is Rejection) and Sized F should implement Func (with Rejection) F's associated type Output should implement TryFutere and Send F's associated type Output for type TryFutere and this TryFutere's associated type Error should implement IsReject

@hasanmougharbel8030 Жыл бұрын

Hello there, God bless your efforts. I am a new sql learner having a general enquiry. How a company manages to write a documentation of its own sql application? I would be so grateful for any kind of help.

@DanelonNicolas Жыл бұрын

Hey Chris nice video! Do you know where can I find architecture books for Rust?

@chrisbiscardi Жыл бұрын

It depends on what you're looking for, but most Rust books don't have much in the way of high level architecture. I definitely can suggest Rust for Rustaceans as a language level resource after the Rust book and other earlier resources -- rust-for-rustaceans.com/

@DanelonNicolas Жыл бұрын

@@chrisbiscardi I'm looking for Domain Driven Design for rust or maybe Event Driven Design...? some thing like that. But I would definitely take a look at that book. Thanks man!

@zeroows Жыл бұрын

I love your videos. I wondered how best to create a pool of Reqwest clients and map them to Axum as "with_state".

@chrisbiscardi Жыл бұрын

The sqlx crate has a great example of a pool structure that you can stick into Axum state, and there's an Axum sqlx-postgres example in the git repo that shows how to use it. There's also crates like r2d2 which implement generic pools you can use in your application.

@gangov Жыл бұрын

thanks, Chris! How did you got so good at 'reading' Rust :D

@chrisbiscardi Жыл бұрын

reading more of it and writing more programs :)

@1e1001 Жыл бұрын

tip with your subtitles: try and keep them the same length-ish, usually a single or half of a sentence

@theglasstube3297 Жыл бұрын

You catch on really fast, it seems complex but once you learn the basics it pretty much branches into experintation

@lucasa8710 Жыл бұрын

Headache, this is all I can feel rn

@fifty6737 Жыл бұрын

the only confusing part is the where, yet the rust where restriction is powerful and typescript like

@Alguem387 Жыл бұрын

"Handle rejection is gonna be that F" yep

@Ski4974 8 ай бұрын

What window manager are you using?

@chrisbiscardi 8 ай бұрын

Yabai on mac

@grb1915 Жыл бұрын

Would like to see a large backend of a large Website supported by this. No http response with a "hello world" string. Anything commercial shop, bank, news site, anything highly interactive, international. Any idea?

@shaurz Жыл бұрын

I wish people would write full names for generic type variable instead of using a single capital letter.

@chrisbiscardi Жыл бұрын

Sometimes I agree with you. Some uses of generics aren't very generic and are meant to be pretty specific. In which case more names helps. In the cases where they are more generic it can happen that there is no good name. In these cases it helps if you think of the single letter as standing for "a type defined by the restrictions". Instead of being defined by the concrete type, or a named variable, the single letter indicates that you can pass whatever you want in as long as it satisfies the constraints.

@angelajxne Жыл бұрын

Thank You For TeacNice tutorialng Us Brother

@IBKumar Жыл бұрын

you know that by now tho

@MarcosVMSoares Жыл бұрын

Amazing channel and video, but Rust still too hard to read and fully understand. I still prefer my elixir for doing WebAPI and use rust to complement when needed it.

@earx23 7 ай бұрын

This is some brainy shit. To be honest, I think many Rust programmers take this stuff way too far. Crazy levels of generic abstraction, but when I get the stopwatch out it factors slower than a naive implementation, which may not have been blessed with the same levels of abstraction, but is easily understood and manipulated. Still, thank you for analyzing, and getting to the bottom of things!

@user-uf4rx5ih3v Ай бұрын

You know, it could have been useful if searching and learning documentation was taught at university. But that would just be too useful. Go implement linked lists and invert them in the billionth language. It's good we have someone on KZfaq that actually shows this stuff, even if it probably doesn't need to be that complicated in the first place.

@axorusmt7042 Ай бұрын

computer science != software development

@officialp283 Жыл бұрын

How to read rust docs

@avisalon4730 Жыл бұрын

Rust looks like overcomplicated languages. So why do we need it?

@tomaszzielinski1704 Жыл бұрын

So types can be checked at compile time

@michadarowny3811 Жыл бұрын

Feels so boring, to read and understand that code

@andrewf8366 Жыл бұрын

Is it supposed to be exciting?

@michadarowny3811 Жыл бұрын

@@andrewf8366 idk , it just feels chaotic I have to go to source no I have to go to docs no source docs back and forth and it’s just tiring to even watch all that and then becomes boring cause you don’t get a lot from that

@minciNashu Жыл бұрын

@@michadarowny3811 it's library code. To me it looks comparable to highly templated C++ library code.

@michaelsteffensen6844 Жыл бұрын

@@michadarowny3811 It's actually pretty handy to have all that information in the function's header. This is a pretty extreme example, so it's not like you'll come across functions like this all the time. Chances are you wont even need to know about all those different constraints unless the compiler complains, in which case it will spell out in plain English which constraints haven't been met.