Your code can be beautiful AND fast (Higher order functions)

Ғылым және технология

Thank you all for watching! If you want to see more of this, consider subscribing!
In this video we will talk about higher-order functions - one of the main pillars of Haskell, and how they can help you write elegant and decently fast code with little effort.
Since this video covers a topic that has many strong opinions, I want to make clear that I do not appreciate flaming or irrational discussion in the comments. If you think I or someone else is wrong, be concrete and provide a source if you can.
========================================================
0:00 Introduction
0:47 Built-in functions
1:04 Hoogle
1:47 Functions as arguments
2:35 Lambda notation
2:59 Building the map function
4:35 The new perspective
5:10 zipWith
5:29 filter
5:41 Why you should care
7:32 Conclusion
========================================================
Discord server: / discord
Twitch: / peppidesu
Patreon: patreon.com/user?u=55163786
Fonts used:
- Headings: Comfortaa
- Body: Lexend Deca
- Code: Maple Mono
Color scheme: Ayu Mirage
Software used:
- PowerPoint
- Premiere Pro
#haskell #functionalprogramming #programming #tutorial #code #coding #functional #functions #math

Пікірлер: 60

  • @SolathPrime
    @SolathPrime10 ай бұрын

    Haskell falls in a category of programming languages that makes you think about the code And forget that you actually have to code and I'm thankful for that take for example: ```hs Relu :: [float] -> [float] Relu x | x > 0 = x | otherwise = 0.0 let xs = [-2.0, -1.0, 0.0, 1.0, 2.0] main :: IO() main = putStrLn map Relu xs -- prints [0.0, 0.0, 0.0, 1.0, 2.0] ``` and suddenly machine learning was never that easy math was never that easy thinking about code instead of actually coding was never that easy oh I love haskell do I need to sleep? yes cause it's 2:19 AM and I have a work to do will I actually sleep? probably NO oh shit I'm ranting again

  • @peppidesu

    @peppidesu

    10 ай бұрын

    what about map (maximum 0.0) xs :)

  • @SolathPrime

    @SolathPrime

    10 ай бұрын

    @@peppidesu woah I've never thought of it I always look at the mathematical shape and forget the easy simple form of it

  • @zokalyx

    @zokalyx

    10 ай бұрын

    @@peppidesu do you mean max?

  • @SolathPrime

    @SolathPrime

    10 ай бұрын

    @@zokalyx in haskell the `max` function is called: `maximum`

  • @mattetis

    @mattetis

    5 ай бұрын

    ​@SolathPrime No, the correct implementation is `map (max 0.0) xs`. `max` compares two values and `maximum` folds a Foldable with `max`, i.e. `maximum xs` gets you the biggest value in the collection

  • @Yogesh-kr7bo
    @Yogesh-kr7bo10 ай бұрын

    yandere dev crying in the corner

  • @crckrbrrs
    @crckrbrrs10 ай бұрын

    your presentation is fucking beautiful, and i think its criminal that you only have 3k subs

  • @44mira
    @44mira9 ай бұрын

    You are definitely one of the best channels for these types of presentations, they're very sleek, clean and informative. I was wondering if you could make a video on your workflow when it comes to making these videos? I have also been considering making a channel entirely around FP as I think it is quite the outstanding and fun approach to programming, and having a video creation process to base it on would be much appreciated!

  • @TheGRoques
    @TheGRoques5 ай бұрын

    Thank you. I've been thinking of starting Haskell for many years, and this video series serves as a concise and accessible introduction!

  • @zokalyx
    @zokalyx10 ай бұрын

    I absolutely loved the building blocks graphics!

  • @learning-og4to
    @learning-og4to13 күн бұрын

    this channel is great. you explain these concepts very well

  • @mtv.smorodin
    @mtv.smorodin6 ай бұрын

    looking forward for next episodes! thank you for your content 🎉

  • @karl_zw
    @karl_zw8 ай бұрын

    Your vidoes are amazing, please keep them coming!

  • @fabricehategekimana5350
    @fabricehategekimana535010 ай бұрын

    Incredible video ! I like your work and I hope the best for you

  • @Zetty
    @Zetty10 ай бұрын

    another banger from peppidesu

  • @kedislav_

    @kedislav_

    10 ай бұрын

    so true bestie

  • @adriansomor
    @adriansomor4 ай бұрын

    amazing series

  • @maurolimaok
    @maurolimaok6 ай бұрын

    I'm just starting my journey at Odin Project, at 56yo At the moment my focus is on the basics, but this is very interesting. Hope to see more like this. Thanks!

  • @user-tx4wj7qk4t

    @user-tx4wj7qk4t

    5 ай бұрын

    I would advise you to focus on something like PureScript instead. The book "functional programming made easier" teaches you frontend web dev from scratch and you'll learn a lot more than Odin

  • @callyral
    @callyral6 ай бұрын

    oh, like rust iterators! haskell sounds pretty cool

  • @user-tx4wj7qk4t

    @user-tx4wj7qk4t

    5 ай бұрын

    My understanding is that Rust took a lot of design decisions from Haskell and ML. How do the iterators work compared to this? I know the word iterator to mean something that allows you to iterate through a structure

  • @harune6594
    @harune65942 ай бұрын

    oh man heartbroken you didnt continue this series

  • @Sk8erMorris
    @Sk8erMorris6 ай бұрын

    Hope all is well, wondering for the continuation of the series :)

  • @WayOfTheCode
    @WayOfTheCode5 ай бұрын

    Amazing videos

  • @user-zs6oh4wp1d
    @user-zs6oh4wp1d5 ай бұрын

    Great video :D

  • @SilverStarStorm.
    @SilverStarStorm.4 ай бұрын

    Continuation when? :p

  • @posfr292
    @posfr2922 ай бұрын

    Wow. That's an absolutely beautiful video. I'm starting to understand it - especially with the aid of those fantastic function / higher-order function (HOF) diagrams. One comment, however: there appears to be a minor typo in the "Wrapping up" diagram at around 07:36. I think that the output of the filter HOF should possibly have the type [a]. Having just subscribed to your channel, I'm going to watch more of your Haskell videos in my quest to understand functional programming with TypeScript (of all things - possibly with the aid of the fp-ts library). Thank you.

  • @theaveasso
    @theaveasso10 ай бұрын

    Do you have any recommend open source that Haskell beginners can work on?

  • @dootsi9452
    @dootsi945210 ай бұрын

    great video

  • @zsuato
    @zsuato24 күн бұрын

    this is so cool

  • @SimGunther
    @SimGunther10 ай бұрын

    While map itself is embarrassingly parallel, there are tasks that are not "embarrassingly parallel" that would be better used for a work stealing scheduler that accounts for shared resources. There's a set of "embarrassingly sequential" problems such as dynamic programming (load balancing and 90% of leetcode questions) and state machines (tokenizers included) you'll have to keep in mind before blindly throwing a bunch of threads on a problem. Well aware that there's mapM for monadic mapping over a list along with parMapM for a parallel version of that listing, but make sure you solved the problem correctly single threaded or else you'll be in "big trouble in little CPU town: multi threaded edition."

  • @0LoneTech

    @0LoneTech

    4 ай бұрын

    ... KZread ate the two previous versions of this reply without warning, so pardon the duplicates if there are any. Work stealing is a particular example of a parallel load balancing algorithm, and tokenizers are usually easily parallelizable (typically neighbour aware map followed by partitioned reduce for longer tokens). Sometimes there's a specific choice, as in signature chains vs Merkle trees, but a lot of the time there's a perspective to be found that isn't obvious at first glance. As for parMapM, bear in mind that not all monads are IO. They are distinguished in Control.Monad.Par.

  • @kedislav_
    @kedislav_10 ай бұрын

    beautiful code for a beautiful man

  • @dycan0716
    @dycan07164 ай бұрын

    Any tutorial about vizualisation in the new perspective section? looks sophisticated.

  • @GamingKing-jo9py
    @GamingKing-jo9py10 ай бұрын

    i've been known to make my code borderline unreadable to others because it saved one more variable (pointfree* is cool) i don't know why but now i find them ugly *mostly

  • @BashkaMen
    @BashkaMen7 ай бұрын

    What is name of font?

  • @alexanderskusnov5119
    @alexanderskusnov51192 ай бұрын

    2:49 foo needs a function of one argument (type a), it's not a plus function of 2 arguments (x, y).

  • @Treston-ri7of
    @Treston-ri7of10 ай бұрын

    A good use of showing anonymous functions to cybersec students, this is how you reel them from crow into the functional programming & math pipeline

  • @konstantinrebrov675
    @konstantinrebrov6757 ай бұрын

    Is it possible to use higher order functions in C, C++, or Rust? Maybe with some clever ways of coding tricks?

  • @peppidesu

    @peppidesu

    7 ай бұрын

    Rust features them out of the box with iterators and closures. I am not very familiar with C++, but it should have them in the standard library as well. As for C, you probably need to make them yourself. In general, if a language supports passing functions as arguments (spoiler: most of them do), you can use higher order functions!

  • @konstantinrebrov675

    @konstantinrebrov675

    7 ай бұрын

    @@peppidesu I don't know how to make them in C.

  • @CarlBach-ol9zb

    @CarlBach-ol9zb

    7 ай бұрын

    @@konstantinrebrov675, you can do it in C++, I think. C++11 and latter ones have lambda expressions. May not be as elegant as in Haskell or other Functional Programming languages. In C, you can pass functions to other functions via their pointers and dereference, but this will be kind of a bad practice, and it's limited.

  • @konstantinrebrov675

    @konstantinrebrov675

    7 ай бұрын

    @@CarlBach-ol9zbOk

  • @aev6075

    @aev6075

    7 ай бұрын

    It's pretty easy on C++. You can make lambdas and callback function with function pointers aswell.

  • @flikkie72
    @flikkie7210 ай бұрын

    Wow you sounds so, so similar to Rutger Bregman

  • @yash1152
    @yash115210 ай бұрын

    8:01 whatttt?

  • @rutieltercero9355
    @rutieltercero93553 ай бұрын

    COME BAAAACK

  • @user-tx4wj7qk4t
    @user-tx4wj7qk4t4 ай бұрын

    Confusing apply with map is pretty bad for learning. Map is specific to list and really shouldn't be used over fmap but I get why you're taking about it. But recursion isn't something that's ever really used outside of library implementations. You should really be teaching people things like fold because they're just going to get hung up on recursion not being efficient or something Overall tackling it from this angle makes haskell seem no different to any other language. Nothing here is special really

  • @cemgecgel4284
    @cemgecgel428410 ай бұрын

    I do not like Haskell's whitespace sensitive syntax. I would prefer a simple functional language with a simple C-like syntax.

  • @Yogesh-kr7bo

    @Yogesh-kr7bo

    10 ай бұрын

    It's just a syntatux sugar you can use the C-like syntax

  • @user-tx4wj7qk4t

    @user-tx4wj7qk4t

    5 ай бұрын

    You can use brackets and semicolons. Nobody does because it's ugly

  • @0LoneTech

    @0LoneTech

    4 ай бұрын

    Specifically this is discussed in the Haskell language report section 2.7 Layout: "Haskell permits the omission of the braces and semicolons used in several grammar productions, by using layout to convey the same information. This allows both layout-sensitive and layout-insensitive styles of coding, which can be freely mixed within one program. Because layout is not required, Haskell programs can be straightforwardly produced by other programs."

  • @sunofabeach9424
    @sunofabeach94248 ай бұрын

    cool. now write UI

  • @0LoneTech

    @0LoneTech

    4 ай бұрын

    UI for what? Would you like it in Monomer, Brick, Reactive Banana, Grapefruit, Concur, Reflex...?

Келесі