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
@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
Man. This series is what anybody should call usefully beautiful. Your voice, tone, and explaining skills mixed with your great visual representations make for a perfect way to undestand so, at first glance, complex mechanisms. I just love the colors, animations (even the quirky ones) and shapes you use to represent everything. Thank you. I will learn haskell, and I will use this knowledge to improve my code.
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!
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.
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!
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."
... RUclips 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.
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
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, 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.
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."
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
what about
map (maximum 0.0) xs
:)
@@peppidesu woah I've never thought of it
I always look at the mathematical shape and forget the easy simple form of it
@@peppidesu do you mean max?
@@ゾカリクゾ in haskell the `max` function is called: `maximum`
@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
Please continue your series on this, you are a really good teacher and the videos are of superb quality.
your presentation is fucking beautiful, and i think its criminal that you only have 3k subs
yandere dev crying in the corner
Man.
This series is what anybody should call usefully beautiful.
Your voice, tone, and explaining skills mixed with your great visual representations make for a perfect way to undestand so, at first glance, complex mechanisms.
I just love the colors, animations (even the quirky ones) and shapes you use to represent everything.
Thank you.
I will learn haskell, and I will use this knowledge to improve my code.
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!
this channel is great. you explain these concepts very well
Thank you for this series on haskell. I hope you will make videos again in the future ❤
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.
Thank you. I've been thinking of starting Haskell for many years, and this video series serves as a concise and accessible introduction!
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!
Your vidoes are amazing, please keep them coming!
I absolutely loved the building blocks graphics!
looking forward for next episodes! thank you for your content 🎉
another banger from peppidesu
so true bestie
Incredible video ! I like your work and I hope the best for you
Continuation when? :p
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."
... RUclips 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.
Any tutorial about vizualisation in the new perspective section? looks sophisticated.
Hope all is well, wondering for the continuation of the series :)
2:49 foo needs a function of one argument (type a), it's not a plus function of 2 arguments (x, y).
this is so cool
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
oh man heartbroken you didnt continue this series
beautiful code for a beautiful man
oh, like rust iterators! haskell sounds pretty cool
@AndreiGeorgescu-j9p Rust iterators are basically a blend between Haskell lists and Python generators.
Haskell: bs = [f(a) | a
Do you have any recommend open source that Haskell beginners can work on?
Is it possible to use higher order functions in C, C++, or Rust? Maybe with some clever ways of coding tricks?
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!
@@peppidesu I don't know how to make them in C.
@@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.
@@CarlBach-ol9zbOk
It's pretty easy on C++. You can make lambdas and callback function with function pointers aswell.
amazing series
Great video :D
great video
Amazing videos
What is name of font?
8:01 whatttt?
I do not like Haskell's whitespace sensitive syntax. I would prefer a simple functional language with a simple C-like syntax.
It's just a syntatux sugar you can use the C-like syntax
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."
COME BAAAACK
Wow you sounds so, so similar to Rutger Bregman
5:10, 7:37 "...in an upcoming video..". Well, there is none.
A good use of showing anonymous functions to cybersec students, this is how you reel them from crow into the functional programming & math pipeline
cool. now write UI
UI for what? Would you like it in Monomer, Brick, Reactive Banana, Grapefruit, Concur, Reflex...?