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
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!
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!
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
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.
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
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."
... RU-vid 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."
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
