Notice the crazier than usual cuts at 08:02. In the old video I said “returns” instead of “takes” but it was at a very very unfortunate moment which made the explanation very confusing 😊 I figured it was better to accept the mistake and just reupload so that I do not create unnecessary confusion 😊
Here's my invariant: sometimes I'd like to give a bigger thumbs-up than others. This is a good lesson! Worth re-uploading the corrected version, good stuff, can recommend.
I guess it is much simpler to think first about functions and their input and output parameters. Everything is very intuitive there. When you move to classes and objects you can consider them as set of functions with their parameters and that is why it becomes important to define the direction of the Type parameter just same way as you specify it in the functions.
Christopher I am eternally grateful for the great content you have created, thanks to your videos of design patterns and thoughts of these topics I have grown a lot, hope to see you some time in Seattle! Saludos 🫡 master! 🙇♂️
I am a Kotlin Student and this made more sense to me than trying understanding it from ChatGPT. Thanks lots mate for the intuitive live example to sink it in!!
I can say that you are one of the best that explain this abstract concept. Thanks for all the passion, you really inspired me and helped in my work. Keep going!!!
My friends and I watch your videos together whenever you upload a video as such and discuss the ideas. We've never fully understood how generics behave before this video (whether it be in java or in C#). You're great man keep up the new style videos and we're waiting for the LSP sequel video.
After all the years of watching you, I have to say I am very impressed with your determination to teach Especially when combated with the youtube comments of hatred that everyone deals with!!! Keep up the good work :) You helped me and others I recommended your channel to in my early days so thank you very much
Thanks for this video, its really confusing for not native english speaker, but its even more confusing when you try to read about this topic somewhere online! haha. Looking forward for next great videos!
If I take something out of a bag of apples, I expect an apple, not an orange. If it was a bag of fruit, I might get a cherry. You should explain genetic in and out. I love the chopped edited videos.
I really hate that Microsoft made Task instead of ITask. With the latter a a method declared with return type ITask would be able to return a ITask without roundtripping over an extra await.
Thank you so much for this. This is so great. Would love to see you do some type system specific videos (which caters to Functional programming) .. Once again, thanks for the great content
I never saw your type signatures video before. Just watching it now, and yes that's exactly the kind of videos , I would love to see. Although, this might be a niche set of topic. I am also watching the following videos ru-vid.com/group/PLA_-EWSPTJcu4i7RFCl_KeGrrz37C4_Oc&si=d02STCKZbOYPCGxM and they are good. But I was wishing you had a playlist of functional programming topics .. something like a crash course of the topics.. ( with some book as a reference, the way you have done for your design pattern videos ) Once again, thanks for covering interesting topics Good to see you uploading new content again.
Thank you for the question. In my design pattern series I recommend the following two books which are absolute classics: * Design Patterns: Elements of Reusable object oriented software (geni.us/PsXmo) * Head First: Design Patterns (geni.us/nlbA6) I've also got a few videos planned that will make more book recommendations with a bit more context 😊 The design patterns playlist: ru-vid.com/video/%D0%B2%D0%B8%D0%B4%D0%B5%D0%BE-v9ejT8FO-7I.html
Think of it in terms of substitutability. If a method expects an OrangeJuicer but all you have is a FruitJuicer then you should still be able to pass it since it will always be able to juice oranges. A concrete example is the IComparer interface in C# which is contravariant. If you create a comparer for Fruit you can use that comparer to sort lists of Orange. Even though a list of orange wants an IComparer but all we have is an IComparer. Makes more sense? Thank you for the question.
I was confused with this as well. I hope the following would help. Keep in mind the idea of substitutability from above. From wiki: "A subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability". It's not always what is 'larger', the context matters. - in the example of covariance we talked about lists, or arrays (consider this as source or output!), it's for them Cat is a subtype of Animal, one can substitute another. An array of cats is a substitution for an array of animals, when speaking in terms of output; - in the example of contravariance we talked about actions, or function parameters (consider this as sink or input!), it's for them FruitJuicer is a subtype of OrangeJuicer, one can substitute another. An action of squeezing out the fruit is a substitution for an action of squeezing out the orange, when speaking in terms of input. P.S. I highly recommend the article on covariance and contravariance in CS on Wikipedia @@gregbell2117
Hey Chris..thanks for the explanation, I have a question though. How have you defined a "IS A" inheritance relationship between FruitJuicer and OrangeJuice? I dont think that a FruitJuicer "IS A" OrangeJuicer, although a FruitJuicer can juice any fruit(including orange), but how can we say that the FruitJuicer is a sub type of the OrangeJuicer?
I have yet to wrap my head around bivariance completely. If you have good examples of where it makes sense I would really appreciate it if you would like to share them 😊🙏 😊 Thank you for watching 😊
Thanks for explanation but I have a question, if FruitJuicer overrides the method in OrangeJuicer, the interface of method must be same? But the method in fruitjuicer is taking Fruit as input but the parent method is taking Orange type as input?
I honestly never knew this was a thing, I guess I don't think about it, but I also don't think I've ever seen that kind of error before so maybe I just planned things well enough to avoid it. I kinda want to go see if I can break my program doing this now, just because I've never encountered it. I don't know if this is a good practice, but if I have a list of types and I don't know or expect a certain type but can't guarantee it, and I absolutely cannot avoid a situation where I don't know what I'm getting, like a list of Animals that could be Cats, then I'll embed that object with an enum like AnimalType. Then I create the object with the type during construction, and check it to be sure whatever I have is, as your example, a Cat. Anyway, I'd prefer not to have to think so much about it and just be sure I'm not going to do something to a cat that only dogs or ducks are expected to do.
It sounds much like Liskov's Substitution Principle that you explained a while ago. Is it because a method as a function is actually a generic type of one type parameter? I mean 1) functions with one input and no output and 2) functions with no input and one output.
great video! I'm wondering, is 'upcasting' and 'downcasting' the way to try to make arrays temporarily covariant/contravariant in runtime (risking a runtime exception)?
Close. Variance regards what is considered a subtype or something else. And if A is a subtype of B then objects of type A can safely be upcast to type B. Covariance and Contravariance regards which type can be considered a subtype of which. So it’s always about upcasting. Thanks for watching 😊
I have a problem statement, I will try to frame it & seems related to the video: My program has 2 things to do - i) Fetch some fruit responses from various places and ii) Transform each fruit responses differently into views Example: I bring AppleResponse and BananaResponse (extends FruitResponse) data by making different API calls (irrelevant detail) I now want to transform AppleResponse and BananaResponse into AppleView1, AppleView2 from AppleResponse & BananaView1 (extends FruitView) from BananaResponse I have an intermediate ResponseStore Map on FruitType { APPLE -> AppleResponse, BANANA -> BananaResponse } ^This is the output of Step-1 : Map
If I understood the video correctly, Java lists could be covariant (since generic types are erased at runtime) but are still are inviariant. Do you know if there's any other reason for this?
Btw, for my programmer brain, what clicked was the explanation from 8:20 to 10:55. Just as feedback if you ever want to flip your explanations to be practical-then-theorical rather than theorical-then-practical. Still awesome stuff :)
Thank you for this very important comment! It would be great if you could give examples of words that I am using that are complicated. Either way I will do my best to speak simpler in the future. Thank you again 🙏😊
Didn't expect an analysis of politics here. "Be conservative in what you do." "Be liberal in what you accept from others." Are you telling us that Conservatives tend to be more productive while Liberals tend to be more tolerant of others? Or am I mixing Apples and Oranges?
Haha 😊 Hadn’t thought of it that way. This is a popular saying (stemming from the TCP spec if I’m not mistaken) so I should not take credit for it. Either way we are here using the terms in their literal sense. So we mean conservative as in that we should not return anything wild (meaning that we in the case of TCP should stick to the spec). And we mean liberal as in that we should be open to alternative interpretations (meaning that we in the case of TCP should allow deviations from the spec). Thank you for the comment and for the interesting interpretation 😊. I don’t want to get dragged into politics but my hunch would tell me that I agree with you 😊😊
@@ChristopherOkhravi You're agreeing with yourself which shouldn't be too surprising. Taking this into Game Theory, Contravariance says that it's a Zero-Sum Game ("I win - you lose") or at least "You have to do it my way", while Covariance says it's Win-Win; we can have our Orange and eat it and you can have any Fruit you want.
Just because you're fed a sequence of Cat to start your declared list of Animals, I don't see why that doesn't allow the more generic list of Animal to accept further things than the Cats it was initialized with 🤨🤔🤔 We aren't trying to put dogs in the Cat list, we're trying to (clearly, as defined) craft an Animal list that we started from a Cat list 🤔 You say "it doesn't support all Animals", while talking about a clearly defined and declared List, so of course it does. Only the List we started our Animal sequence from, does not. 🤨 This is my confusion despite/during your explanation. Thanks!
Great video Mostachón, I liked how you explained using “general” and “specific” rather than using the terms “wide” and “narrow” as some British devs I follow did