💡 Get my FREE 7-step guide to help you consistently design great software: arjancodes.com/designguide.
@TobyDillman3 ай бұрын
Bold of you to assume I'm going on any dates.
@ArjanCodes3 ай бұрын
I have high expectations 😉
@saitaro3 ай бұрын
Arjan himself liked your comment on KZbin, who could reject you after that?
@saitaro3 ай бұрын
Two days ago he liked me too, now I'm married with children. Think about it.
@ArjanCodes3 ай бұрын
I’m really scared now to find out what happens if I remove that like.
@saitaro3 ай бұрын
@@ArjanCodes Don't.
@DrGreenGiant3 ай бұрын
Worth noting that copy() only returns a shallow copy. So it's a new list but if the original elements were mutable (yours were ints, so that's fine) then modifying them in the new list will also modify them in the old list. This can be a big gotcha in parallel code. Deepcopy from the copy module is _almost_ always what you need when you need an expensive copy of non fundamental types.
@cjdaniels43 ай бұрын
This is a nice, concise overview of some core, simple, practical functional concepts. I just want to make one note about your section on function composition. Notice at 16:33, Copilot suggests an implementation of the compose function for exactly 2 functions, which applies the functions in the correct order (based upon the mathematical definition of function composition). Specifically, the composition of functions f and g, which would be called as compose(f, g), first applies g (the right hand function) to an input (x), and then applies f to the result (i.e., compose(f, g)(x) == f(g(x))). However, the compose function that you instead implemented, taking any number of functions of type Composable, applies the functions in order from left to right, not right to left, because reduce traverses the list of functions from left to right. Therefore, your resulting compose function is not truly composing functions in the mathematical sense, and is generally called by other names in other languages (e.g., foldl or pipe) or even in existing functional Python libraries. For your compose function to behave similarly to the original Copilot suggestion, you would need to traverse the list of functions from right to left. This is also evidenced by the fact that in your original code leading up to your introduction of function composition, you had the expression (at 15:10) sort_fn(add_10(multiply_by_2(data))), but then (at 18:22) had to reverse the order of the functions in compose(multiply_by_2, add_10, quick_sort) to get the same result because your compose function applies the function in the reverse ("wrong") order.
@ArpadHorvathSzfvarАй бұрын
I has the same problem. Use compose function from toolz 3rd party library, then you'll get what you want.
@zion4d3 ай бұрын
Dear Arjan, please add 1 second pause after printing code, because its hard to stop video to read code properly
@doc71153 ай бұрын
pure function is not necessarily idempotent, these are two totally irrelevant concepts, not sure why you said that. 9:02
@victoradukwu27193 ай бұрын
As always, it's another masterpiece. Thanks, Arjan. I believe the input ‘data’ at 20:09 could still be a list, instead of an iterator; Only the return needs to be an iterator In addition, we can still achieve the lazy evaluation 20:24 by simply using the result of the map function, without casting into a list
@TheUpriseConvention3 ай бұрын
Recently tried out Gleam was super fun! Python is my main language so really cool to see these ideas in Python, great timing Arjan!
@ArjanCodes3 ай бұрын
Glad you enjoyed it!
@tpag203 ай бұрын
Using 'reduce' to apply functions sequentially seems complicated. Instead, using a monad class seems like a better way to handle exceptions and readability. Using the '__or__' method as a 'bind' method, we can use result = Monad(10) | add_ten | mul_two | div_zero like this. I'd love to hear your thoughts. I'd like to add that it doesn't fit the content of this video because you need to define the Monad class 😁
@jonathan34883 ай бұрын
How have you managed to explain quicksort in 10 seconds better than my professor in a whole godamn semester. God.
@jsbueno3 ай бұрын
One interesting "side effect" of this video, is it showing as typing, which should be "optional", intrinsically limits Python capabilities. Theres is nothing in this code that would limit it working with `int`s. Any orderable type would work, _tut_ for the typing.
@edgeeffect3 ай бұрын
0:28 "As a side effect..." I saw what you did there. Nice recursion example... quicksort is so much more likely to be used than factorial.
@maleldil13 ай бұрын
The vast majority of programmers aren't going to write quicksort either. In imperative languages like Python, you should likely default to using iteration whenever possible and only use recursion for obviously recursive problems (e.g. graph traversal). Even then, one must be careful about blowing up the stack, so it's important that you also know how to convert a recursive function into one that uses an explicit stack.
@EliasLiomanKirchgässnerКүн бұрын
Another benefit of pure functions: They are easy to cache, as you know that putting the same values inside will give you the same result. This can help you, if you have long calculations on certain values.
@crafter2023 ай бұрын
The code at the beginning for the bubble_sort() where @ArjanCodes does bubble sort is not correct I believe ? Having the swapped flag, does not return the correct result ? I expect very high level content from you (following your videos), Let us know if this was a oversight ?
@thomasroberts60083 ай бұрын
I would argue at 20:09 the function parameter could be Iterable, and have the output be still be an iterator. This way anything that can be iterated over, lists or iterators (or anything implementing __iter__) can be passed and it don't need to cast my inputs with iter(...). I try and make my functions inclusive with Iterable inputs and Iterator outputs, unless there is a specific reason that doesn't work.
@ArjanCodes3 ай бұрын
Great suggestion, that is a definite improvement over the type annotation I used.
@tuskofgothos2637Ай бұрын
Thank you for this amazing video! I learn a new good coding practice every time I watch one of these. I was wondering if you could do a video on the toolz and cytoolz libraries, which actually facilitate the application of most of the functional concepts that you demonstrated in this video, in addition to other goodies which deal with iterators and dictionaries. For example, they actually have a function called compose_left, which allows one to create a function from all the function arguments provided to it. It also allows for piping data through a series of functions, and is heavily pro-lazy evaluation. Cytoolz is the Cython-based equivalent of toolz, having the exact same functions, but much faster. Would love to know what you think of it, and what might be the best ways to apply the functions from this library to enable better coding in Python.
@Wolar943 ай бұрын
Great video! I have a question, can't you just do this instead: ``` def multiply_by_x(data, x: int) : return map(lambda y: x * y, data) def add_x(data, x: int) : return map(lambda y: x + y, data) ``` As map returns an iterator, similarly to yield from. So the same as your initial functions but do not cast it to list to iterate over the iterator, just return the iterator.
@askii33 ай бұрын
I was expecting him to simply return map, like you're suggesting. However, if you think about it, what he's doing is the same. At 20:00 he modifies the type hint for data to be an iterator. For loops use iterators without casting them to lists. The function is taking the data iterator as an input argument and returning a generator (iterator) by yielding from the for loop. So, there's no casting to lists and is true lazy evaluation.
@Wolar943 ай бұрын
@@askii3 Yes i know it's the same, it's just unnecessarily making the code abit harder to read.
@askii33 ай бұрын
@@Wolar94 I was mainly focused on your comment that he's casting to lists. When I first read that, I thought you were saying his newer functions using yield are casting to lists (which they are not). But now I see you were referring to the older functions that do cast to lists.
@thisoldproperty3 ай бұрын
Really enjoyed this video. The advanced concepts are appreciated.
@ArjanCodes3 ай бұрын
Glad you enjoyed it!
@MarkusBurrerАй бұрын
I highly recommend F# instead of Python
@brudinie3 ай бұрын
Best dating advice ever
@MrWorshipMe24 күн бұрын
For function composition, there's a cool package called pipe. Makes Python feel very functional oriented.
@ArjanCodes24 күн бұрын
Interesting, thanks for sharing that!
@wstomvАй бұрын
You mentioned that pure functions are idempotent. This is not the case. A function f is idempotent (pronounced as eye-dem-póh-tent) when f(f(x)) = f(x), that is applying one more time does not have an effect. A pure function is _univalent_ : for every input value there is just _one_ output value.
@thegrandyata21 күн бұрын
I was looking for this exact comment lmao. Beat me to it!
@paulhetherington38543 ай бұрын
That be -- TTY relay only -- in skrrpts!
@JonitoFischer3 ай бұрын
List comprehensions are more readable than map, readability counts.
@kaosce3 ай бұрын
Not the same goals. Map return an iterator so it is only run when iterating while list comprehensions create an actual list
@JonitoFischer3 ай бұрын
@@kaosce wait what? He converted the result of the map function to a list, and you can always write a generator expression if you don't want the complete list and just the generator...
@JonitoFischer3 ай бұрын
@@kaosce moreover, map, filter, lambdas were there even before list comprehensions, but at the end, readability counts.
@jamesarthurkimbell3 ай бұрын
The big difference for me is that you have to think of a name for the intermediate elements in a comprehension, e.g. [int(x) for x in numbers] or whatever, and sometimes that can really help. Other times, people's names are so vague or so misleading that they would have been better off with map.
@Wolar943 ай бұрын
Readability counts much more in real use cases. List comprehensions CAN get unreadable though, but as long as you keep them simple they are very easy to understand.
@justinhall70223 ай бұрын
Another great video. As a newbie, these really jelp to understand the important thingen. Thanks yuo!
@ArjanCodes3 ай бұрын
Glad to hear you liked it 😊
@sulfur320663 ай бұрын
Please disable copilot 😂
@ArjanCodes3 ай бұрын
I’m too lazy, haha.
@sulfur320663 ай бұрын
@@ArjanCodes that’s how programming was invented:)
@DrGreenGiant3 ай бұрын
I really like copilot! It's good seeing it work and seeing it make mistakes
@ravenecho24103 ай бұрын
Great vid as always, theres also *functools groupby*, which seems pretty powerful like... Sqlite3 backend, really doesnt matter, but i found like: ``` Select from table where x, and y order by a,b ;``` Especially with um passing a method into the retrieval for how to create named tuples out of the list... you can get really ""complex"" behavior, with super performant code, thats also super readible. Ie used this in prompt generation for our tool, another thing im wondering about is separation vs interface vs api. For code that is being rapidly developped/iterated upon... (separation seems most important... i think.?)
@herrxerex84843 ай бұрын
reduce does beta reduction i believe
@murphygreen84842 ай бұрын
Instructions unclear. Now I'm married.
@ArjanCodes2 ай бұрын
At least you now have “closure”.
@jamesarthurkimbell3 ай бұрын
Is your Copilot suggesting lines you've already typed in a practice run before filming? Or does it not remember context in that way, and these are "fresh" suggestions?
@ApprendreSansNecessite3 ай бұрын
wow, structural pattern matching, I didn't expect that. Python has so many FP features now. Multiple inheritance and the ability to call a method by passing it an instance are quite interesting for implememting FP patterns as well. I'm quite frustrated by the absence of a const keyword though. I tried using Final but it disables ype inferrence, so you must specify the type which is a pain when the vast majority of your variables are actually constants.
@youmal3025 күн бұрын
Very hard to follow
@andcarl853 ай бұрын
What do you think of compose from the funcy-package? I've used it instead of writing my own compose-function.
@saitaro3 ай бұрын
19:58 These both functions should take an Iterable as an argument, not an Iterator. Interpreter will automatically call for an iterator while using the for loop. Iterator protocol requires the __next__ method, which is not implemented for a list, for example. But the functions obviously can work with a list. We always should use the broadest types possible in for a function arguments and the most exact type for the result. This is known as the robustness principle, "Be liberal in what you accept, and conservative in what you return".
@benfung95713 ай бұрын
This is really spot on I was struggling with function composition for awhile
@ArjanCodes3 ай бұрын
Glad you enjoyed it!
@malteplath3 ай бұрын
Can you show how you would deal with exceptions when you use function composition? Assume that the functions you want to compose could encounter division by zero or a TypeError or ValueError because you are processing data that is not (completely) under your control. For example when processing CSV files you may expect a certain shape from the first two lines, but you would have to validate the whole file to know that the number of entries is the same in every row. Add to that the fact that you may be calling 3rd party code in the functions you compose. How would you do the error/exception handling?
@guyothomas2 ай бұрын
I just understood what yield does, thank you Arjan
@ArjanCodes2 ай бұрын
Glad it was helpful!
@djupstaten23283 ай бұрын
I find elimination of state to be mostly an obstacle in concurrent programming because atomic operations make threads inherently agnostic of what's going on and whether they should do a/b/c depending on updated conditions, and it also makes it difficult for them to broadcast their own state as it will require an intermediate who would ultimately end up doing exactly what that thread could be doing autonomously (and with less context). It's not impossible to safely allot partitions of a shared workload or state object by using range/slice-types for instance while retaining communicability.
@GOTHICforLIFE13 ай бұрын
i still struggle to see the value of a compose function over a wrapper function that simply calls a series of functions sequentially. To me at least it feels much more readable and equally flexible. And if you rely on having so many arguments that in no longer remains readable it feels nicer to simply use a class instead. I do understand that the premise of the video is to utilise purely functional principles, but i really can't see a good use case for something like partial functions unless there's some underlying performance benefits. Even in languages like Go i mostly see the sequential approach against a struct of data which is also more readable imo. But then again i'm no expert in either languages, so that could just be lack of experience / use cases where this would make sense to apply
@MLlRoon3 ай бұрын
Monad is insulted not being mentioned here
@hriscuvalerica48143 ай бұрын
I rarely use recursion . Mostly to traverse a shallow tree like structure. Python has a recursion depth limit .
@gpcureton3 ай бұрын
I've been doing a lot of the stuff in this video in Rust, it's nice to see a Python implementation of the same ideas which I can start to use in my day job.
@Soltaiyou3 ай бұрын
Love the mechanical keyboard 😂
@BenjaminMorrison-pz2in3 ай бұрын
in the bubble sort, the inner loop starts from the outer loop starts which means that there are a subset of elements in the beginning that are not sorted.
@josecastron3 ай бұрын
Another great video from ArjanCodes. I love the pace, the tone and the way you explain concepts. Very clear and to the point. Many thanks!
@ArjanCodes3 ай бұрын
Glad you enjoyed it, Jose!
@shalomdosseh53673 ай бұрын
Always great and understandable videos. Thanks 🥲
@Semicolon20242 ай бұрын
I use some of these techniques. Matching structures, composition and lazy code are the new ones I am about to discover thanks to this video. Thx for this great work 🙏
@ArjanCodes2 ай бұрын
Happy to help!
@entitledOne3 ай бұрын
Your point 3 needs a asterisk with the solition. The copy methid creates a shallow copy. Ehich means that if your liat contains anything that's passed by reference, it will be the same in the new list. If those mutable elements are changed in the new list, they will also be changed in the old list. For true immutability, the deepcopy functionality should be used.
@ArjanCodes3 ай бұрын
Good point!
@alejandrocarmena87673 ай бұрын
Great video! It can be challenging to move all the print statements to the main function since you need to print intermediate results sometimes
@animeshsingh13073 ай бұрын
Nice video! The subtitles are a little bit out of sync though. Please fix that. Thanks.
@ArjanCodes3 ай бұрын
We’ll look into it, thanks!
@tapir107312 күн бұрын
Thanks
@ArjanCodes11 күн бұрын
Thank you for your support!
@detemegandy3 ай бұрын
I made a composable in my project recently, but it did not have type hint! I had the apply be a lambda, which is ugly IMHO. Then you solved it... but then another lambda appeared! I would want the return to be `partial(reduce, apply, functions)`! I will incorporate the type definition though!
@ArjanCodes3 ай бұрын
Oohhh I like that!
@detemegandy3 ай бұрын
Corrected in edit. Glad you liked it😁
@srinivasgorur-shandilya17883 ай бұрын
small error at 9:15 -- that's not what idempotent means. en.wikipedia.org/wiki/Idempotence
@sviteribuben72453 ай бұрын
Thx Arjan! Partial is very useful! Its new for me😊
@ArjanCodes3 ай бұрын
You’re welcome! 😇
@devin8653 ай бұрын
I loved the refactoring of the github copilot code. I have to do that too! 😂
@ArjanCodes3 ай бұрын
Yes, that happens a bit too often, haha.
@kilianklaiber63673 ай бұрын
Sorry, but this is Just too fast for me, too many concepts in extremely quick succession. I don't tink that you used the Term idempotent correcty, If this means the Same AS the mathematical definition.
@kilianklaiber63673 ай бұрын
The idea that the output should always be the same, if the input is the same, is just part of the mathematical definition of a function. Idempotent means that applying a function to itself renders the same result: f(f(x)) = f(x)
@ApprendreSansNecessite3 ай бұрын
The definition in programming relates to state. it is indeed misused but it's also not wrong. I guess he meant to say "referentially transparent". if f(x) changes some piece of state (which a pure function does not), and f(x) f(x) has the same effect as f(x), then it's said to be idempotent. But this notation obfuscates the fact mutable state is a free variable, it's really more a binary fumction where the first argument is passed implicitly, so you can write it f(s, x) and f(f(s, x), x) or s `f` x `f` x and you realise it's indeed related to idempotence. Another example is the union of sets: A | B is the same thing as A | B | B
@simonhaines73013 ай бұрын
@@ApprendreSansNecessite I hear more commonly the word "deterministic" in programming to describe a function or process which, given the same inputs, will always produce the same output. I think this is what Arjan meant.
@ApprendreSansNecessite3 ай бұрын
@@simonhaines7301 I have heard it as well. I don't like it personally because I think it's too vague. If the value of x is incrememted consistently every line, everything is still deterministic but it's not referentially transparent: you can't substitute a name or an expression by its value and consistently get the same value anywhere in the code, which is what we expect in FP. "referentially transparent" means to me "it's like in maths, you don't change the meaning of symbols".
@chuckinator0Ай бұрын
I think removing the middle from quicksort introduced a bug. The left will now contain the pivot. Also if the value of the pivot is repeated, those repetitions will not show up
@paper_cut94573 ай бұрын
Great tips for one of the greatest python style there is !
@ArjanCodes3 ай бұрын
Glad you enjoyed it!
@ramimashalfontenla13123 ай бұрын
Niceeeeeeeee! Another super useful video!
@ArjanCodes3 ай бұрын
Enjoy! :)
@orlandoreyes8843 ай бұрын
The topics are interesting, too bad that Arjan almost always uses complicated code to explain them.
@mmilerngruppe3 ай бұрын
17:12 oh gods, they brought all that [T] cryptoshit from Java and C++ to my beloved Python. 😢
@timelschner84513 ай бұрын
As always Arjan, many thanks!
@ArjanCodes3 ай бұрын
You’re welcome Tim!
@y2ksw13 ай бұрын
The usage of AI while programming can lead to terribly wrong code. I know, you like it because of the speed, but the moment you trust it blindly, you have lost the game.
@dmaster20ify2 ай бұрын
Immutability like this is nonsense. Just more loops to jump through to write code. The point of a variable is that is variable.
@yomajo3 ай бұрын
No offense, but compose seems the kind of thing, sr devs would write to distance themselves from pleb devs. Respectfully, pleb dev.
@simonhaines73013 ай бұрын
it all arises from mathematics. if x -> y and y -> z then x -> y -> z could be seen as the single function x -> z. we then want to give the single function x -> z a name and just use that, forgetting about the intermediate steps. so z = f(g(x)) but what is the name of the single function that does x -> z?? let h = compose(f, g). then z = h(x). the function is called h. now that we have turned this process into a single function, then everything we know and think about functions applies to h, because it is just a function, both theoretically and literally in the code. we can forget about f and g. it honestly is a powerful form of abstraction, in the same way that something like class composition is a powerful form of abstraction in OOP.
@yomajo3 ай бұрын
@@simonhaines7301 interesting, thanks for reply!
@danielschmider50693 ай бұрын
Please stop using type hints if it starts accounting for half the video's runtime.
@paulosergioschlogl95503 ай бұрын
I like to use functions, however i dont use this kind of concepts 😮
@caseybackes3 ай бұрын
first...ah. not first. (sigh). i'll be first one day. congrats @ramimashalfontenla1312