The Absolute Best Intro to Monads For Software Engineers

  Рет қаралды 675,292

Studying With Alex

Studying With Alex

Күн бұрын

Пікірлер: 890
@asadsalehumar1011
@asadsalehumar1011 2 жыл бұрын
Hands down the most awesome explanation of Monads on KZbin
@neogen23
@neogen23 2 жыл бұрын
My experience as well, though I realise as much having already understood the concept via classic methods (see a book on Haskell), so I was like "Yep, that's totally it". I doubt it would have helped me if I had used it as tutorial material. Still, a stellar explanation
@AutoFirePad
@AutoFirePad 2 жыл бұрын
It turns out that we have been using monads without even knowing it for years.XD
@erikkostic8271
@erikkostic8271 Жыл бұрын
Feel you
@stopper0203
@stopper0203 Жыл бұрын
Agree
@quantisedspace7047
@quantisedspace7047 Жыл бұрын
Maybe it was. I gave up when I heard the stupid music.
@dcuccia
@dcuccia Жыл бұрын
I mean, "Its just a monoid in the category of endofunctors. What's the problem?" Scott Wlaschin also does a great job of explaining monads graphically with his "Railway Oriented Programming" talks. But this was a great "part to whole" way to take a single use case and expand the concepts, step by step. Nicely done!
@MatthijsvanDuin
@MatthijsvanDuin 2 күн бұрын
Or, perhaps more clearly phrased: a monad is a single-object category enriched over the category of endofunctors ;-)
@gargshishir3
@gargshishir3 2 жыл бұрын
After maybe 10 years of periodically going back to the definition of monads, googling and still not understanding what the hell they are, you have done it! Thank you, one less mystery in life.
@KingTheRat
@KingTheRat Жыл бұрын
I watched this video last year, and this year, I already do not remember what it is. Time to watch this video again. :)
@gargshishir3
@gargshishir3 Жыл бұрын
@@KingTheRat I did that recently too 😆
@RickGladwin
@RickGladwin 6 ай бұрын
Yeah I saw the thumbnail on my feed and was like “ah, it’s that time of year again - time to learn what a monad is” 😅
@michaelhernandez5478
@michaelhernandez5478 Жыл бұрын
at 4:24 you have a bug. `wrapInLogs` is undefined. I think you meant to assign `a` to `wrapWithLogs`. Other than that... this is the best explanation of the monad pattern in JavaScript ever created on KZbin!
@jcolt452
@jcolt452 2 жыл бұрын
How on earth did you break the curse!? .... "Once you understand Monads you lose the ability to explain them"! 🤣
@aiocafea
@aiocafea 2 жыл бұрын
you have to trick a veteran functional programmer into helping you if you start explaining monads to enough people that already understand them, eventually one will tell you 'oh you don't _actually really_ understand monads unless you understand…' and suddenly you will feel this clearness in your brain you can suddenly explain this concept and all of the useful ramifications
@Bergerons_Review
@Bergerons_Review 2 жыл бұрын
I think that's true for most coding problems ;)
@GesteromTV
@GesteromTV Жыл бұрын
This is greate video that explain how to use monads and how fo recognize them, but in true math style there is whole universe that you skiped.
@ArturCzajka
@ArturCzajka Жыл бұрын
@@GesteromTVAnd that's how he shoved it into a 15-minute video, and not a 60-minute lecture 😝
@Lee-qj4hk
@Lee-qj4hk Жыл бұрын
Monads are a brain virus which makes you believe in Monads
@nobodyinparticular8219
@nobodyinparticular8219 2 жыл бұрын
Very good explanation, finally someone who's using a programming language which people who don't yet know what monads are can actually understand. Another good video on the subject is Brian Beckman's "Don't fear the Monad" which explains it in a more abstract way, but still using familiar terms. Other videos, and especially Computerphile's video were completely inaccessible to me and left me thinking that I'd need to spend months studying category theory or at least read a book on Haskell before I could understand this concept. You and Brian made me realize that I had actually invented monads on my own and have been using them without knowing what they are.
@evanroderick91
@evanroderick91 2 жыл бұрын
I'm not familiar with this programming language. What language is this?
@rakandhiyaaa92
@rakandhiyaaa92 2 жыл бұрын
@@evanroderick91 I think this is typescript
@younes3573
@younes3573 2 жыл бұрын
@@evanroderick91 as mentioned before it is TypeScript: JavaScript but with types
@denisg1208
@denisg1208 2 жыл бұрын
I agree with you about video ‚Dont fear the monad’. Also explains it really well
@MrRedstonefreedom
@MrRedstonefreedom Жыл бұрын
It's funny you mentioned the computerphile video because I likewise, even in using monads wherever applicable, watched that video and felt like I understood it even less. Even funnier still is the disclaimer he gave of "well people criticize mathematicians for not being able to explain their concepts in relatable terms, but I think they should just get over it". And it's like... they will get over it, by just ignoring their work & having to rediscover it anyways in their own contexts.
@julestburt
@julestburt Жыл бұрын
I founded Vancouver's Functional Meetup which ran for 3 years...and we discussed monads a lot!! I had a lot of ongoing questions. I saw many presentations, yet I was always left wondering / wishing someone could actually show me a 'monad' rather than discussing the apparent philosophy or upper purpose! Finally, someone explained it with great code examples, which I could easily relate to Swift (my language) and completely and finally understand monads...I had assumed one didn't really need to know 'monads' to use them, and it turns out with arrays, maps/flatmaps, optionals, and even a plug in Then promise library - all these were monads of course and I didn't need to know one to use one...but your explanation nails it! Many thanks!!
@scheimong
@scheimong 2 жыл бұрын
That was fun to watch. I've been writing rust for a good while now, so basically I've been using monads everyday all this time without knowing the concept's technical name. Watching you refactor bad typescript step by step into rust felt funny.
@ChrisD__
@ChrisD__ 2 жыл бұрын
And this explains why don't understand Rust... I didn't understand monads!
@JordanManfrey
@JordanManfrey 2 ай бұрын
One helpful trick that can help people adopt/be aware of a defined technique or pattern is to avoid giving it a name that sounds like a portmanteau of “moron” and “gonads”
@Microphunktv-jb3kj
@Microphunktv-jb3kj 2 ай бұрын
@@ChrisD__ u cant understand rust, because rust is a political marxist cult of mentally ill activists good luck in ur cult journey : ))) rust is literally trojan horse in linux kernel
@valley-artifact
@valley-artifact 2 күн бұрын
Options in rust aren't monads, they're just a normal wrapper type you destructure manually, there's no "run" function
@JoshuaKisb
@JoshuaKisb 2 жыл бұрын
first video that actually explains monads in sensible approachable way. thank u very much
@youngcitybandit
@youngcitybandit Жыл бұрын
This seems like a very intuitive pattern but at the same time I never knew this could be so formalized. Thank you I learned a lot
@MrRedstonefreedom
@MrRedstonefreedom Жыл бұрын
Jesus, this is such a robust explanation. This could be watched every 3 months just to reconsider newly-encountered applicability. I already came to the same conclusions about monads in programming (as a design pattern, in any kind of paradigm or language), and done a lot of deep thinking, but even still, this is such a wildly useful video as a consolidation tool. You've given a lot of excellent visualizations that make aspects-management & its expression a lot easier.
@connorkapooh2002
@connorkapooh2002 2 жыл бұрын
Dude. This was fucking sick, please keep producing videos like this. I think there's also a lack of beautiful visualisations for more advanced concepts (which makes sense because more people are going to be beginners). Keep it up man, your animations are absolutely gorgeous :)
@yash1152
@yash1152 2 жыл бұрын
0:30 thanks a lot for using appropriate font size - readable at 360p. it's such a small thing but makes such a huge impact on viewing experience.
@_blank_3677
@_blank_3677 2 жыл бұрын
Dude… years… years I tell you!!!! Why does everyone else suck sooooo bad at explaining this! Finally! I feel complete. Ty
@denys-p
@denys-p 2 жыл бұрын
Just for reference, in C# flatMap for lists (actually, all collections that provide IEnumerble interface) is SelectMany in Linq. Future/Promise is the Task. One more interesting thing - async/await (combined with Task) is very close by it’s behavior and purpose to IO monad (not mentioned here) - it “infects” function so you need to make functions that call it async (or, at least, return Task) as well. And it brings a big mindset shift, starts building understanding that we want to keep “IO monad” part as small as possible, splitting logic and IO. It will allow to write most of tests without mocks at all. And the rest that works with “outer world” (db, user input, other services calls etc) better to test with real interaction, e.g. integration tests.
@MrRedstonefreedom
@MrRedstonefreedom Жыл бұрын
The second part you wrote is potentially a good point, but I'm not convinced it's true. I know exactly what you mean by "infection" (I call it "prionic", and if someone doesn't know what a prion is, I go for ice-9 if they've ever read Vonnegut). But, I'm not sure it's really possible to have async in any kind of way where it doesn't "infect" all of its uppers. Actually, callbacks in JS would possibly do this. But that's more a matter of using global state. Although, additionally, mutex's in general work this way. Thinking of reentrance patterns and such. Ok, you've convinced me. Yea I think this is a unique quality for Task. Even deeper, I think this may be a unique quality for Monads, overall. An accessory requirement for that to be the case is BTW this is somewhat similar to the mathematical concept of "absorbing elements". I think Undefined, though, would most-closely mimic the concept of a synthetic (ie intentional union with) construction of a category with an absorbing element.
@MrRedstonefreedom
@MrRedstonefreedom Жыл бұрын
**An accessory requirement for that to be the case MIGHT be that it's a typed language. Though I think that's just a straight matter of "in order to be less immediately annoyed of categorically wrong implementations"
@KaiHenningsen
@KaiHenningsen Жыл бұрын
@@MrRedstonefreedom Typescript (in the video) gets compiled into normal Javascript, mostly by stripping away the types. So the async/Promise stuff usually becomes the exact same operations in Javascript. For that matter, the node.js runtime has a utility function util.promisify() that converts a callback-using function into a Promise-using functions, and Promises have .then, .catch, .finally etc that resolve Promises with callbacks. The two are essentially equivalent.
@Cool-Game-Dev
@Cool-Game-Dev 11 ай бұрын
A fellow c# bro.
@TheGarretThief
@TheGarretThief 2 ай бұрын
Dude, I literally was using Optional without knowing what is it and how it actually supposed to be used. Huge thanks for explanation, found your channel today and already fallen in love with this and passwords videos!
@GregoryMcCarthy123
@GregoryMcCarthy123 2 ай бұрын
This is my favorite explanation of Monads. Never saw such a simple yet concise explanation!
@papetoast
@papetoast 2 жыл бұрын
As someone who didn't know monads, this is an excellent video! You started with an iterative approach on simple examples to give an intuition of why the idea of monads is useful. Then after having the intuition you give a more abstract, rigorous definition, along with real usages. I think I wouldnt have been able to understand the abstraction as easily if there wasnt the simple examples in the beginning. Then you give a summary to help remember the content of this video. Overall I think the flow is great and the pace is just right. Sometimes I have to pause a bit to understand the code but I never have to think really hard to understand since the leaps in logic are always small enough. Thank you for making this video!
@CFEF44AB1399978B0011
@CFEF44AB1399978B0011 Жыл бұрын
I'm blind and you were able to describe your content without using this and that while pointing at places in the code. nice work.
@steveloco1170
@steveloco1170 Жыл бұрын
bro WDYM YOU ARE BLIND AND WATCHING KZbin
@CFEF44AB1399978B0011
@CFEF44AB1399978B0011 Жыл бұрын
@@steveloco1170 you do realize blind people live normal lives?
@jhoughjr1
@jhoughjr1 Жыл бұрын
@@steveloco1170 main thing to know is "blind" is shorthand for visually impaired. Also you can learn from hearing too.
@NOT_A_ROBOT
@NOT_A_ROBOT 6 ай бұрын
​@@steveloco1170 not all blind people are completely blind. some at least have partial vision
@genericperson3122
@genericperson3122 4 ай бұрын
I've been trying to understand monads for literally years and this explanation is what made it click.
@ZackFreedman
@ZackFreedman 2 жыл бұрын
Great explanation. I'm going to use this as a benchmark when I do actual education videos.
@crckrbrrs
@crckrbrrs Жыл бұрын
yeah, now that i think about it the oscilloscope video was quite similar to this one
@chachan4142
@chachan4142 2 жыл бұрын
Thank you. this video is very practical, informative, and truly demonstrates what can be achieved with monad with actual example and not just the abstract concepts of it all. Best one yet that I've seen on KZbin. You've earned a new. subscriber!
@d0m186
@d0m186 7 ай бұрын
Best video i have seen on this topic. Most videos start with explaining monads, monoids, and endofunctors and are completely overcomplicated. Starting with an easy to grasp example is way better
@arongil
@arongil 2 жыл бұрын
+1, this video taught me exactly what monads are from a practical standpoint. Thank you!
@ivanjermakov
@ivanjermakov Жыл бұрын
13:30 It's called flatMap not only for lists, but for any type that introduces structure. More generally, it's called bind or concatMap, it has a type signature of (struct: Struct, transform: (value: T) => Struct) => Struct, and means "Map a function over structure and concatenate the resulting structures". It is possible, because any monad must also be a monoid: define how to combine structures. Basically, monad is a very general interface for flatMap.
@codeman99-dev
@codeman99-dev Жыл бұрын
Very nice overview. One thing that could be helpful: flip the "normal" and "monad" land in your state graph (9:45) and then explain that "wrap" is sometimes called "lift".
@atanugayen3030
@atanugayen3030 Жыл бұрын
I kept seeing this video recommended to me, but I avoided it everytime thinking "this is gonna be too complicated, I'll watch it later when I have the time/energy." Glad I finally bit the bullet and watched it... was not disappointed. Fantastic explanation... please keep making videos like this!
@anangelsdiaries
@anangelsdiaries Жыл бұрын
The fact I listened to that and connected on my own that futures might be a type of monad as well makes me somewhat proud.
@therealguanzo
@therealguanzo 2 жыл бұрын
One of the best videos on programming I've ever seen. Subscribed. Please make more!
@Lambda_Ovine
@Lambda_Ovine 2 жыл бұрын
Oh, so this is what they mean when they say that monads can be used to avoid side effects but can replicate the effect when you need to. Say for example, Instead of having a global array that is referenced and mutated by every function to concatenate logs into it, you can return a concatenated array as part of a monadic value, one that is created at the beginning of the chain and is returned as a value at every step of the way 'till the end. I mean, in this case we are using an array object, so it's probably still being referenced as a pointer, but still, the concept stands as it belongs to the chain of operations alone.
@Daniel_WR_Hart
@Daniel_WR_Hart 2 жыл бұрын
I watched a bunch of talks about what monads were, but this was the first to make me realize that I actually wrote one unintentionally last year while trying to learn about design patterns
@GVSM-xo9ri
@GVSM-xo9ri 2 жыл бұрын
By far the most amazing explanation i've ever read. Nice examples, made the concept a lot easier to understand!
@CARDCZARMAFIA
@CARDCZARMAFIA 3 жыл бұрын
I loved this video. Would love to see some explanations on applicatives and functors as well and some fp-ts examples. The pipe and flow makes using monads and functors so nice
@JamesWalker-rs1ps
@JamesWalker-rs1ps 2 жыл бұрын
Hey, this is great! You've got a good way of explaining things using plain English and building concepts from a basic level.
@erikgrundy
@erikgrundy 2 жыл бұрын
I've always thought that the definitions people used are always more complex than they need to be. I'm glad you've managed to explain it in a way that feels like something a programmer would do
@AndreiGeorgescu-j9p
@AndreiGeorgescu-j9p 9 ай бұрын
By programmer you mean code 🐒
@erikgrundy
@erikgrundy 9 ай бұрын
@@AndreiGeorgescu-j9p i don't, and i'm a little confused at what you're implying. do you mean that no "real" programmer requires it to be explained like this? or that you don't think the code in the video is very good? please, enlighten me
@AndreiGeorgescu-j9p
@AndreiGeorgescu-j9p 9 ай бұрын
@@erikgrundy a software engineer is supposed to be an engineer. An engineer uses math and science to solve real life problems. However "software engineers" are the only kind of engineers who hate math and science and think even simple basic math is "too complex" and are always looking for immediate answers on "how" to use something, with very little understanding of "what" something is or "why" it is. The explanation above is terrible for very many reasons but mainly because he doesn't actually explain anything any what a monad actually is, it's just overly convoluted examples of what you can do with it which ironically is more complex than if somebody just explained what it is. You saying "feels like something a programmer would do" means code monkey because actual software engineers understand math and don't explain things this way
@mike10240
@mike10240 7 ай бұрын
​@@AndreiGeorgescu-j9ppretty elitist take in my opinion. I think the video does a great job at highlighting the use and benefits of monads from a practical perspective. Many people, engineers and otherwise, benefit from illustrative examples as points to jump off of and then abstract. You are free to complain about what you think engineers should and shouldn't do until the cows come home, I'm sure that's much more useful. Or, if you're so concerned about software pedagogy, why not put your money where your mouth is and make a guide yourself? But I understand, hiding behind cheap talk is much easier. These lazy software engineers, right?
@bigpest
@bigpest 6 ай бұрын
⁠​⁠@@AndreiGeorgescu-j9p in the same breath, “engineers solve real life problems” and “they only care about *how* to use tools” Using tools is what solves problems. It makes sense that engineers prioritise practical use over formal understanding. Save the high-level math for academia and research.
@kellybmackenzie
@kellybmackenzie Жыл бұрын
4:43 Thank you SO MUCH, seriously! When you said that it instantly clicked. This genuinely helped me so much, thank you!
@JackDespero
@JackDespero 6 ай бұрын
Just to be nitpicky, the wrapper of the type is not a part of the monad. The (in)famous sentence is true: A monad on A is a monoid of the endofunctors of A. This means that the it is a F: A -> A, meaning that both the original object and the end object must belong to the same category. In your examples, you are doing two different operations: - An isomorphism, F: U -> W, where U are all the unwrapped objects and W are the corresponding unwrapped objects. - A monad, G: W -> W, where the monad acts on any wrapped object and returns the same type of wrapped object. Not that it is fundamental to program or anything, as most of the time combining both is the easiest solution (multiple times my functions accept different types for certain arguments and I internally transform those arguments into the type that I actually use in the function, like passing the name of a matplotlib cmap, and then I get the cmap, but also allowing to pass a cmap itself). Another nitpick to make is that in pure functional programming, the "busy logic behind the scenes" cannot affect anything else other than the object being returned. For example, if instead of adding the log to the object you wrote it somewhere else, that also wouldn't be a monad, even if that function would work exactly in the same way, being able to chain it as much as you want.
@gweltazlemartret6760
@gweltazlemartret6760 2 ай бұрын
Because side effects have side consequences (for real), that goes outside of pure functions. It’s some shady area tho, because adding to a list may have the side effect to increase its memory footprint, pure "pure" functions (on technical side) is barely relevant to most programmers.
@NovemberIGSnow
@NovemberIGSnow 2 ай бұрын
@@gweltazlemartret6760 There's an interesting research language called Koka that uses an algebraic effect system instead of monads. I believe 70% of its stdlib has the "total" effect, meaning those functions: * Are guaranteed to terminate * Are guaranteed to not throw an exception * Do not touch the heap * Do not mutate any state * Do not do IO etc. The total effect is even more restrictive than what a "pure" function in Haskell is. So the fact that a large portion of the standard library can be made of functions with the total effect shows that total pureness is somewhat relevant to programmers.
@OroborOSX11
@OroborOSX11 2 жыл бұрын
The fact that Swift has built in operator support for optionals using ? is so nice. It’s nice to be able to wrap up this behavior into a simple type declaration like User? (equivalent to Optional).
@yahyaadinugraha1058
@yahyaadinugraha1058 Жыл бұрын
dart as well
@AndreiGeorgescu-j9p
@AndreiGeorgescu-j9p 9 ай бұрын
It's not equivalent
@chethelesser
@chethelesser Жыл бұрын
8:45 I'm confused how getPet and getNickname would pass as a transform function because it is required to have accepted type T and return Option while I would imagine that those function have the following signatures: getPet( user : U ) : Option getPetNicname( pet : Pet ) : Option I.e., transform( _: T1 ) : Option In my book, this means you can't use them as an argument to your run() function which requires the signature to be transform( _ : T ) : Option
@IllIl
@IllIl 6 ай бұрын
Bro, you're a legend. I've tried at least a dozen times before this to learn about monads. Wikipedia, googling, videos... was always left with the feeling that even though I didn't get it, the explanations were all trash. This video is so clear, I immediately understood the concept and how it was useful. And some old examples of monads that still rattled around in the skull suddenly made a lot more sense. Thank you.
@atrowell
@atrowell 2 жыл бұрын
Impressive explanation. Quickly provided useful information that gives me better understanding of techniques I already use as well as new ones to adopt.
@CartoType
@CartoType 2 жыл бұрын
Very interesting and new to me. One small thing; what you call a caret, < or >, is more properly known as an angle bracket when it is used as a delimiter. This is a caret: ^.
@NicholasShanks
@NicholasShanks 2 жыл бұрын
Yes, worst part(s) of the video, that.
@jasonzuvela
@jasonzuvela 2 жыл бұрын
Exactly! So painful to hear every time. en.m.wikipedia.org/wiki/List_of_typographical_symbols_and_punctuation_marks
@31redorange08
@31redorange08 2 жыл бұрын
That's a circumflex.
@0LoneTech
@0LoneTech 4 ай бұрын
This is a caret: ‸
@the-pink-hacker
@the-pink-hacker 4 ай бұрын
Every time I've heard an explanation of Monads I've been completely confused. As soon as I got to the part that mentioned Options, my Rust brain exploded and understood everything. Best video on the topic by far.
@rajthewise
@rajthewise 2 жыл бұрын
This is the first video that 'shows' the thing by including 'how to' aspect. Best video I came across so far.
@MadaxeMunkeee
@MadaxeMunkeee 2 жыл бұрын
This video is a true triumph. Thanks so much for making it!
@sgwong513
@sgwong513 2 жыл бұрын
wow, first time I know monad so clearly. thanks and looking for future video like this. really good video.
@lukeb8349
@lukeb8349 2 жыл бұрын
Great video! One small correction, though: For the Option run method, you list that it only has one generic parameter. This implies the input type of the transform function must be the same generic type of the transformation's returned property. That's not true, since the getPet transformation transforms a User to an Option.
@dawid_dahl
@dawid_dahl Жыл бұрын
One thing I’ve noticed that is tricky is when you have a value wrapped in several monads. For example, if you have a value that is asynchronous and also can fail with an error. Then you have a value wrapped in a Future/Promise/Task as well as an Either. Would love a video about how to deal with this complexity. How to traverse between different monad lands.
@Holobrine
@Holobrine Жыл бұрын
You’d probably pass one “runWithLogs()” into another, nesting the functions in the same way the types are nested
@ivanjermakov
@ivanjermakov Жыл бұрын
Yep, because Promise.then() has the same type signature and meaning as flatMap (or bind in monad). It transforms promise, using a function transforming wrapped value into a new promise.
@HolyAvgr
@HolyAvgr Жыл бұрын
​@@ivanjermakov wouldn't this be trivially solved by back-tracking the function through the unwrap, since both monads are Generic in their implementation? If you have a Future, what you probably have is something in the form of future(optional(5)), which can also be expressed as a chain operation as: let result: Promise = createOptional(5) | .createFuture($0) in which case you should probably be able to do something like `result.value.value` which should resolve without much problem: Unfulfilled promise would nil .none in the optional would also nil
@ArturCzajka
@ArturCzajka Жыл бұрын
Keywords are: monad transformers (more popular, safer to start with this) and extensible-effects (imho cooler) 😄
@wcarmon7
@wcarmon7 2 жыл бұрын
You have quite a gift for education. Thanks for taking time to explain this.
@kered13
@kered13 Жыл бұрын
7:18 There is a type error in this code. The type of `transform` should be `(_: T) => Option`, and then the return type of run should be `Option` indicating that transform is allowed to change the underlying type. This is necessary for functions like `getPet` and `getNickname` in your next example.
@piotrnajda3000
@piotrnajda3000 Жыл бұрын
Yep. A simple attempt to reconstruct the code in the example results in type errors. I'm grateful for the introduction, still.
@JMIK1991
@JMIK1991 2 жыл бұрын
Never heard of this, but I can see how to make it in different programming languages now. So it's just any helpful pattern to make code seem simpler while hiding busy works... Knowing this I could make simple program documentations by mentioning for what I would need monad for in the functions... Monad for value that logs itself, gives more programming simplicity, changes value using server connection, changes other program settings to make this one appliable... I guess I could just add reusable lamda functions for functions which process those values, when they are attached to the function, so I need a function to attach them... Now monads would be moddable by programmer aswell at the start of loading the program! So now I got Function class and can create more usable functions for my needs at the start up with less code which behaviour I can change by attaching more functions in it. I can add value to it, it get's processed by all lambda functions I've attached to it, but only one changes it and other uses it to do other stuff. I create function at start up as static and give it a name and attach functions. Now I could just call MyCustomStaticFunction(value) and all lamdas get called internally, perhaps knowing the old value and the new value.. I'd like to use preprocessor function so it would apply code in the binary release in that location instead of going back in memory to that function location, but it's ok for now... Build is smaller, but code also runs slightly slower...
@vikingthedude
@vikingthedude 2 жыл бұрын
This is some good stuff. I'm also glad to see you have other videos. Hoping you get more subscribers, you deserve it
@nicolaus8622
@nicolaus8622 2 жыл бұрын
Dang. Within only 15 minutes you easily achieved what my professor in functional programming couldn't in an entire semester of 15 weeks lol. No seriously, this video has to be the best explanation for Monads one can find on KZbin!
@blakedowling7002
@blakedowling7002 Жыл бұрын
Amazing work here. Turns out I've been partially harnessing the power of monads the whole time, but understanding how you can simply chain passed functions brings my software engineering understanding to a new level. Thanks for your effort in making this video Alex.
@tqian86
@tqian86 2 жыл бұрын
This is an amazing intro in the sense that the title isn't even a clickbait! ;) Thanks for the video!
@kebien6020
@kebien6020 Жыл бұрын
"A monad is just a monoid in the category of endofunctors, what's the problem?" for anyone wondering, was satire from the beginning (though the first part was taken from a math book, where the sentence does make sense in context).
@MatthijsvanDuin
@MatthijsvanDuin 2 күн бұрын
Categories for the Working Mathematician, and yes that iirc it's just given as an example of monoid objects after monads had already been discussed
@jongeduard
@jongeduard Жыл бұрын
Thank you for this extensive explanation! 👍It's really useful as a background knowledge behind a ton of things in Rust that I learned, also because I have seen many people already talking about it there. Now I really understand it. 👏 But even in C#, a language in which I have worked for about 20 years now, I can relate several examples of monads as well. A nice one are so called LINQ functions, for example SelectMany, which is basically the literal equivalent of your FlatMap example. LINQ is the name of the most important functional programming API in C# and DotNet. Maybe it is also a good to mention that C# was really one of the first with the async await programming model, and it might even be the absolute first one. Though what you mentioned as Future or Promise are not the terms how they are used in C#, but what is used is generally Task or ValueTask, although other types can also be used sometimes.
@Lambda_Ovine
@Lambda_Ovine 2 жыл бұрын
Having watched my fair share of videos, read articles and even delved into some theory behind lambda calculus and functional programming and still not understanding fully what monads are or how to even use them, I was reluctant to watch your video. "There's no way someone can explain monads to me in 15 minutes." I was gladly mistaken. You did the impossible and made monads click for me all the sudden, at least, in a practical way... so thank you very much
@ryannygard3661
@ryannygard3661 Жыл бұрын
I just made a monad this week without even realizing it, but I never thought about implement logging into it. I'll need to do that immediately because that would be extremely useful!
@mabuelhagag
@mabuelhagag Жыл бұрын
I recently discovered Effect-ts and was struggling to understand the basic concepts of it. The docs don't mention mondas while explaining how the library works (due to a valid reason. Mentioning monads scares people!) But this video explains it beautifully! Thank you man! You got yourself a subscriber 😊
@abdulhamidalsalman
@abdulhamidalsalman 2 жыл бұрын
Alex you are the champion of the web. You deserve a noble prize for making these great videos.
@yeong126
@yeong126 2 жыл бұрын
Among all the functional programming videos in my feed this is the first one I understand something. Great video!
@RutgerWillems
@RutgerWillems Жыл бұрын
This is a great vid, but I'm not 100% sure about the example at 9:00. A lot of people will either: - Include the conditional undefined return from the run function inside the JS methods - Want to handle each undefined case slightly differently In the former case, your code would be as clean as #2 without requiring the run wrapper. In the latter you'd end up with #1 where the run wrapper would just add clutter.
@photonic083
@photonic083 Жыл бұрын
I'm awake at 01:06 am and read the thumbnail as "Write better code with McDonalds"
@gavintillman1884
@gavintillman1884 Жыл бұрын
I’ve been struggling with the concept and think this may be the best presentation I have seen.
@IgneousGorilla
@IgneousGorilla Жыл бұрын
Hey there, amazing video! I got a question: In the first example, the wrap function is never used (see 5:00, wrapWithLogs isn't called anywhere). Instead, in a way, addOne and square do the wrapping themselves by taking an input of type T and returning a value of type "wrapped T". Since you still included wrapWithLogs as part of this particular monad, and since you speak of wrap functions as a fundamental part of monads in general, I'm left wondering precisely where and why you'd use wrap functions when coding. In other words, if your transform functions take input of type T and return a value of type "wrapped T", then what's the point of the wrap function? Where and why could it be useful?
@warwolt
@warwolt Жыл бұрын
If you have a regular function like "addFive" that takes a number and gives a number, wrapping its result allows it to then be chained with functions that are monadic. let maybeSeven = wrap(addFive(2)) let maybeTen = run(maybeAddThree, maybeSeven))
@robinmoussu
@robinmoussu 2 жыл бұрын
Very nice explanation, and easy to understand. I would just have added that `run` is sometime named `transform` or `map` in other programming languages. That being said, I thought that what you describe is a monadic interface, while modad was the abstraction over those interface. If you can write a modad, you have the same function that take either `Option` or `List` if instead of "stuff may be missing" you want "you may have zero, one or more element". For example Rust has multiple monadic interfaces (`Option`, `Result`, the try operator, `Iterators`, …) but no way to abstract over those so it lack the expressiveness to write a modad. Am I right?
@0LoneTech
@0LoneTech 4 ай бұрын
You could write a monad trait in Rust, and even a macro to implement do notation. Someone did for the monadic crate.
@jamesmstern
@jamesmstern Жыл бұрын
This is a marvel of clarity.
@prince_of_devils
@prince_of_devils 2 жыл бұрын
Definitely lives up to the title, thank you for making such a great explanation.
@matheusjahnke8643
@matheusjahnke8643 Жыл бұрын
7:18... There's a slight type error in the function signature you made F : (Option, T -> Option) -> Option All F fit the "bind", or ">>=" operation.... but not all of these functions are on these format: the input "T" doesn't have to be the output "T": So a better signature should be bind : (Option, T -> Option) -> Option An example: convert a string into a numeric value... *if* the string is a valid numeric value... else it's None function parseInteger(candidateNumber : string): Option { let possiblyNumber = some(0) for digit in map(charToDigit, candidateNumber) { if (possiblyNumber.isNone()) break possiblyNumber = withOption((number) -> withOption((digit) -> 10*number + digit, possiblyDigit), possiblyNumber) } return possiblyNumber } parseInteger : string -> Option so "bind" here is (string -> Option, Option) -> Option This might seem cumbersome(in part because it is...)... but, essentially, I'm adding 2 option types... and returning some number only if both of them are happen... so in haskell... there's a neat function for that, liftM2: lift monadic function receiving 2 arguments. function liftM2(f : A -> B -> C, ma : monad, mb : monad): monad { function innerA(a : A) { function innerB(b : B) { return (wrap(f(a,b))) } return runMonad(innerB, mb) } runMonad(innerA, ma) } With liftM2 you can abstract way quite a lot.... An example... with the list monad, you can do cartesian product... function pair(a,b) { return {a,b} } function cartesianProduct(list_A,list_B) { return liftM2(pair, list_A, list_B)}
@harry-smith404
@harry-smith404 Жыл бұрын
08:58 in option case you just removed if cases, other than that no difference here. It the logic above, you exit from function on early steps when current active object is not undefined. In the logic beneath you call all runn submethods, without checking for a null in the main method. Basically, you method may consist of just several run() calls without any good work done.
@blargo
@blargo Жыл бұрын
Yeah, that bugged me too. Having getPet/getNickname be object instance methods, combined with the optional chaining operator would serve the same purpose, keep the code concise, and preserve the short-circuit behavior.
@Psychx_
@Psychx_ 2 жыл бұрын
So this is why Rust has std::option and encourages the use of some/none. Very informative. TYVM!
@eliote.corleyii5792
@eliote.corleyii5792 2 жыл бұрын
I only wish I could like the video as many times as I have watched it. What an incredible presentation and a simple explanation of such a feared topic. Thank you.
@trontrontrontron4
@trontrontrontron4 7 ай бұрын
i watch a lot of videos on monads and they always focus on the generic aspect of the monad wrapper, but really this video nails behavior aspects which is what really matters. you can even write monadic code in C using this examples and still have great value using it.
@typingtext1
@typingtext1 5 ай бұрын
always know it's a great explanation when it starts with the problem being solved, thanks for the pleasant listen :)
@GdeVseSvobodnyeNiki
@GdeVseSvobodnyeNiki Жыл бұрын
The absolutely best and extremely simple and unserstandable explanation of monad was done by Scott Walschin in his F# series. Absolutely must see!
@henningtorsteinsen2169
@henningtorsteinsen2169 Жыл бұрын
Link?
@GdeVseSvobodnyeNiki
@GdeVseSvobodnyeNiki Жыл бұрын
@@henningtorsteinsen2169 that would be a good starting point: kzbin.info/www/bejne/gYHEaYytlLOUrM0si=uabDLykGN5ZCkgbP
@aysubetin-can6435
@aysubetin-can6435 10 ай бұрын
At last! Great video thank you so much!Great namings, wrapper instead of unit and run instead of flatmap or bind to explain the concept before the terminology. Please make more videos like this
@Masto12321
@Masto12321 2 жыл бұрын
You won yourself a subscriber with this clean clean video. Can't wait to go through more of your content!
@Ashalmawia
@Ashalmawia Жыл бұрын
this is the best explanation of monads I've ever seen, thanks
@atalhlla
@atalhlla 2 жыл бұрын
You got me, I was about to freak out about you not mentioning Lists/Arrays. Very good explanation and examples!
@karavind7814
@karavind7814 2 жыл бұрын
This is the best video explaining monads, thank you for the great yet simple explanation 😊
@Daspem25
@Daspem25 2 жыл бұрын
Dude your channel is a gold mine!!
@harry-smith404
@harry-smith404 Жыл бұрын
09:10 so, when the main method return undefined, how we can understand at what step it started to return undefined?
@versacebroccoli7238
@versacebroccoli7238 2 ай бұрын
That's the best part. You don't. This is why functional languages aren't really production languages.
@Seyunx
@Seyunx 2 жыл бұрын
Topo keep up the amazing work, you deserve more views!
@skyeplus
@skyeplus Жыл бұрын
9:43 Uh oh. You cannot always unwrap value from Monad. Sometimes the value doesn't exist or there are multiple values. In some cases like Option you can still do 'case' statement and handle Nothing value somehow. In other cases, such as IO Monad taking value out of Monad is fundamentally impossible. In cases like List, you obviously have multiple values (or none for empty lists). Which is why you can in general case we can only talk about binding new operations into the context of Monad, not taking values out.
@BrianCameron
@BrianCameron 2 жыл бұрын
The best presentation on Monads I've ever seen... Thank you. Stand alone, does not reference external concepts. Great.
@hermaeusmora749
@hermaeusmora749 Жыл бұрын
Hey Alex, thanks for this video. I'm sending it to all my software engineer friends who have heard of Monads but have no interest in figuring out if its actually a good idea.
@SteveDellaValentina
@SteveDellaValentina 2 жыл бұрын
I'm not sure how I stumbled on to here but I'm glad I did. This is not only helpful as a software engineer, but a really good example of how to teach an abstract concept in a very accessible way. Very nicely done, and subbed!
@jaybny
@jaybny 2 жыл бұрын
best thing I've watched in years! awesome job 👍👌👍👌👍
@grkuntzmd
@grkuntzmd 2 жыл бұрын
Best explanation of monads that I have seen. Bravo!
@shadeblackwolf1508
@shadeblackwolf1508 6 ай бұрын
If i'm seeing this right, it looks like a technique to bind operations that don't want to know about the all parts of a data structure to only the parts it wants to know about, in a way that's easy to extend both on the supported functions, and the underlying data structure. And then the broader secret work clicked
@isaisotarriva8162
@isaisotarriva8162 4 ай бұрын
This remembers me of my favorite feature of dart, Option (var?). It is beautiful how you can do more if you value can be null or have a value instead of always having to have a value. Using (?) and (!) in dart makes the code much easier to read.
@solarisNT-v4j
@solarisNT-v4j 7 ай бұрын
I first grasped monads by thinking of them as piggybanks. The ceramic ones that you have to break. This perfectly compliments that, thank you!
@m4rt_
@m4rt_ Жыл бұрын
1:40 shouldn't you also concat in square? Since if you do square(addOne(2)) the log will only be from square.
@gweltazlemartret6760
@gweltazlemartret6760 2 ай бұрын
9:04: erm, you got rid of the null checks, is that how `Option` is supposed to work? I mean, your one-liner `return a().b().c()` in C# would be missing null conditional operators as in `return a()?.b()?.c();` in case `a()` returns a null-cased Option.
@ocnah
@ocnah 2 жыл бұрын
Absolutely greatly presented and explained, well done.
@vuquang7154
@vuquang7154 2 жыл бұрын
Oh man, I feel like I've found a gold mine named Studying With Alex today. Thank you so much, Alex 😘.
@PabitraPadhy
@PabitraPadhy 5 ай бұрын
Excellent video again, I wish you best and hope to learn more intersting concepts from you Alex.
@TheJonBrant
@TheJonBrant 2 жыл бұрын
Incredible video. I felt a lot of clicks, and feel like I may have understood monads better than I thought. Thank you!
@cesardelgadillo4139
@cesardelgadillo4139 3 ай бұрын
Yhank you, this video was easy to follow (with some focus, pausing, and thinking of course). The two examples at the start really concretize the idea of a monad, making the key idea of what a monad is easy to absorb. I got confused when first reading transform(...) in runwithlogs since I dont know typescript, but got over it. Im aure this video would be great for software engineers. Now I wonder how this comnects to the math definition of monads.
What is a Monad? - Computerphile
21:50
Computerphile
Рет қаралды 611 М.
What the Heck Are Monads?!
21:08
ArjanCodes
Рет қаралды 76 М.
1% vs 100% #beatbox #tiktok
01:10
BeatboxJCOP
Рет қаралды 67 МЛН
The evil clown plays a prank on the angel
00:39
超人夫妇
Рет қаралды 53 МЛН
Magic Navigation Menu Indicator using CSS & Javascript
10:45
Online Tutorials
Рет қаралды 1 М.
Solid Programming - No Thanks
32:00
ThePrimeTime
Рет қаралды 348 М.
Premature Optimization
12:39
CodeAesthetic
Рет қаралды 842 М.
What is a Monad? - The Last Monad Intro You'll Ever Need
15:48
走歪的工程師James
Рет қаралды 25 М.
What is IO monad?
36:32
Tsoding
Рет қаралды 71 М.
Why Isn't Functional Programming the Norm? - Richard Feldman
46:09
Dependency Injection | Prime Reacts
28:34
ThePrimeTime
Рет қаралды 360 М.
How Senior Programmers ACTUALLY Write Code
13:37
Thriving Technologist
Рет қаралды 1,6 МЛН