This video was awesome! I code a lot of functional(ish) stuff in JS and am interested in Haskell. When you said "no arrays" you broke my brain. I kept watching and it feels like my eyes were just opened! It's so clear now why recursion is important! Thank you thank you thank you!!!
It's not really true about "no arrays", you could have it if your really need it (for performance-critical parts for instance), look at this package: hackage.haskell.org/package/array But how you work with this arrays differs from how you do it in imperative languages.
@@johnnyphoney5669 Was asking this as a standalone comment. Array/Vector is much more efficient if you do non-iterative stuff. In fact, lists are even discouraged in haskell for anything but iteration. Length, index, elem, everything that does more than `head` is discouraged. www.imn.htwk-leipzig.de/~waldmann/etc/untutorial/list-or-not-list/
Also note there are a lot of purely functional datastructures and the following book is a good resource for them: www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494
is that make any sense that we're rejecting arrays, but allowing hashmaps a.k.a objects? because hashmaps are more complicated in their implementation, and usually based on arrays under the hood. and if array are not allowed, does that mean that standard JS map/filter/reduce are not pure?
"Functional programming is about *composing* pure functions". Thank you! Many definitions of FP leave aside this essential component. We don't just compute with pure functions -- we combine code itself with some more code and into different contexts! Now *that* is reusability taken to its ultimate expression.
@いあ I'm so torn apart. Using vim for a couple or years now, but only "really" using it for a couple of months to program. I don't want this big emacs ship, also vims community is much bighger. But so many advantages when using emacs as an IDE...I don't know.
@@bratezoran2102 I'm not a pro, so take all this with a truckload of salt -- but neovim remedies some of vim's disadvantages as a IDE (& some of its features are 'backported', so to speak, into regular Vim via plugins). The upcoming 0.5.0 introduces a native LSP client & syntax engine; & the RPC interface makes it easily extensible, as it makes it trivial to communicate with whatever else over tcp or unix sockets.
This is so cool, you type insanely fast! One of the limitation I would have highlighted for the passage to Haskell is strong typing, indeed fizzbuzz in JS returns a list of strings and numbers while the Haskell version returns a list of strings only. JS is more similar to Scheme in this sense
I don't really think strong typing is all that new of a concept to most programmers, so it's something glossed over compared to things like currying. And really given Haskell's generic patterns and typeclasses, the strong typing isn't really as big an issue as most would expect. And honestly while you can pass in a bunch of weird arguments of different types into a JS function, you probably shouldn't. It makes the code a lot harder to understand.
Tsoding even though this video is old, your other videos inspired me to try haskell since it seems so cool and I don't know magical and this video helped me a lot, I finally made my own function that I understand!
Alright, I'm gonna be a subscriber for life. You have so much knowledge in one video, it's too good to be missed. Recommended for any modern developer!
I love how you basically construct lisp in js here. Got here interested in JS and running emacs basically as an os, implying some lisp comprehension... gonna learn me some haskell now
I thought I knew functional programming. I was wrong. Since watching your videos I have been able to solve some problems with the functional code I made. Thank you !
The fact that you can just hammer that in the keyboard from the top of your head is impressive. When I program is more like hm hm hm think think *type thing in* hm oh no *delete again* hm think hm oh yeah *types thing in* I think people can hear the sound of an old modem coming from my brain in the thinking phases
The more you do this kind of stuff, the faster you naturally get. Any senior level dev can do this type of stuff from their head at a fast speed. It's like anything, the more you do it, the faster you become.
Thanks so very much. I've made FP a personal study since 2013. I've wanted to break into Haskell and have been thwarted more than once. This is a great Haskell intro imho.
in the first argument it's actualy use a condition checker which is like if Statement. in recursion we must find a way to get out so if statement it's required i think.
I tried PureScript once but I could not for the life of me figure out how to write the type signatures of effects or really understand their syntax. The pure functional types make sense, but the others were very confusing.
this is really amazing stuff, thanks for sharing! i've been wanting to try to apply some of the knowledge of fn programming to my js knowledge but didnt know where to start
@@jacobscrackers98 efficiency is clearly not a high priority in these examples (although of course Haskell does gain efficiency through pure functional laziness).
@@jacobscrackers98 Efficiency in Javascript wasn't the point. Lots of stuff he's doing like function currying are horribly inefficient in JS, but the idea was to understand Haskell better. Keep in mind that in haskell the compiler optimizes a lot of these things for you. So a lot of inefficient practices in JS aren't inefficient in Haskell, because Haskell is designed for that style of solution in mind.
If you don't account the Array limitation, you don't need to re-implement map and arrays to list, list to array. I understand why you did that, but in practice the only thing you really need is ranges.
I think as a disclaimer it should be made clear that types also have to be pure in functional languages. Having a function returning either an integer or string is not possible in Haskell without a unifying type.
I think,that separating on 2 parts it's not a good trick, because haskeller also should know how write good Side Effect code using monad and etc. And using Side Effects through the powerful mathematic conceptions - it's actually beauty of haskell.
I assume this "no arrays" rule is just to firmly disallow random access inside a list of data? For actual as functional as possible within JS code, just using arrays as if it is a list (map, filter, reduce, and only traversing it using recursion) will be much more performant while conceptually being the same as functional programming, right?
Recursion is not more performant that straightforward iteration, it's the opposite. Firstly there is a call stack limit and if you reach it then the program crashes. Secondly, instead of a single CPU instruction like in a single iteration, an iteration using recursion also involves creating the function object.
@@Leonhart_93 yeah i know... Unless the language optimises tail call recursion, or you use recursive functions that isn't optimisable, it's quite limited in depth. But I meant using arrays in JavaScript is significantly faster than a homemade linked list would be. But I'm pretty sure the functional built in functional methods like map, filter etc. on the array objects are just as fast or faster than a for loop is in most js implementatons.
@@SteinGauslaaStrindhaug I do not think they are faster than low level loops. There is no imaginable reason why they would be faster than doing i++. Their purpose is to simplify working with arrays and stuff, for faster dev implementation, and not for more efficient runtime.
It's probably a bit late, but the Haskell "if ... then ... else ..." works like a ternary. The thing that's not allowed is just if ... then ..., because then there is no return value when the check fails.
It's different in that it forces each branch to produce a value, so all the logic is in the context of an expression. Basically, it works around having to remember to always include an else and two returns. Writing one language within another will tend to have awkward translations.
No loop is a bit crazy to understand. Does that mean any arr.forEach, arr.filter is also not allowed in the classical way? Or these function isn't referred as a loop ? I think this needs to be clarified.
forEach indeed does not exist, because in pure functional code it could not do anything; it returns undefined. The closest equivalent in Haskell is forM_ which operates within a monad as a way to model side effects. filter, on the other hand, is one of three core higher order operations on collections: map, filter, and reduce. Each of these produce a result, using some number of calls to a worker function they've been passed (mapping, predicate or reduction). Such higher order functions (often based on folds) usually replace loops, but recursion is the core mechanism. The core reason is that looping relies on side effects (something must be changing for the loop to complete). Without side effects, programs are easier to reason about and we can do things like evaluate multiple portions simultaneously.
I learned more about FP in this video that in an entire semester at college
me to
This video was awesome! I code a lot of functional(ish) stuff in JS and am interested in Haskell. When you said "no arrays" you broke my brain. I kept watching and it feels like my eyes were just opened! It's so clear now why recursion is important! Thank you thank you thank you!!!
It's not really true about "no arrays", you could have it if your really need it (for performance-critical parts for instance), look at this package: hackage.haskell.org/package/array
But how you work with this arrays differs from how you do it in imperative languages.
See also hackage.haskell.org/package/vector
@@johnnyphoney5669 Was asking this as a standalone comment. Array/Vector is much more efficient if you do non-iterative stuff. In fact, lists are even discouraged in haskell for anything but iteration. Length, index, elem, everything that does more than `head` is discouraged. www.imn.htwk-leipzig.de/~waldmann/etc/untutorial/list-or-not-list/
Also note there are a lot of purely functional datastructures and the following book is a good resource for them: www.cambridge.org/core/books/purely-functional-data-structures/0409255DA1B48FA731859AC72E34D494
is that make any sense that we're rejecting arrays, but allowing hashmaps a.k.a objects? because hashmaps are more complicated in their implementation, and usually based on arrays under the hood. and if array are not allowed, does that mean that standard JS map/filter/reduce are not pure?
imagine he hits F5 in the middle of the video.
Amazing. Never seen this style of presentation. Thanks. Learnt a lot about Haskell this way. Would like to see some more of these videos.
This video made me understand Haskell more than any of the dussins of Haskell tutorials I've watched so far
"Functional programming is about *composing* pure functions". Thank you! Many definitions of FP leave aside this essential component. We don't just compute with pure functions -- we combine code itself with some more code and into different contexts! Now *that* is reusability taken to its ultimate expression.
Nix-shell, Haskell, Emacs. Good, very good! You had chosen the right side.
@Gabriel Klenner well I can think of one you might have missed, vim is not Emacs.
Gabriel Klenner VS Code + HLS + HLINT, emacs is for sheeps
@@obinator9065 man, microsoft marketing is taking a bazaar route these days.
@いあ I'm so torn apart. Using vim for a couple or years now, but only "really" using it for a couple of months to program. I don't want this big emacs ship, also vims community is much bighger. But so many advantages when using emacs as an IDE...I don't know.
@@bratezoran2102 I'm not a pro, so take all this with a truckload of salt -- but neovim remedies some of vim's disadvantages as a IDE (& some of its features are 'backported', so to speak, into regular Vim via plugins). The upcoming 0.5.0 introduces a native LSP client & syntax engine; & the RPC interface makes it easily extensible, as it makes it trivial to communicate with whatever else over tcp or unix sockets.
This is so cool, you type insanely fast! One of the limitation I would have highlighted for the passage to Haskell is strong typing, indeed fizzbuzz in JS returns a list of strings and numbers while the Haskell version returns a list of strings only. JS is more similar to Scheme in this sense
If you watch his streams you'll learn he doesn't. He probably just speeds it up.
I don't really think strong typing is all that new of a concept to most programmers, so it's something glossed over compared to things like currying. And really given Haskell's generic patterns and typeclasses, the strong typing isn't really as big an issue as most would expect. And honestly while you can pass in a bunch of weird arguments of different types into a JS function, you probably shouldn't. It makes the code a lot harder to understand.
Tsoding even though this video is old, your other videos inspired me to try haskell since it seems so cool and I don't know magical and this video helped me a lot, I finally made my own function that I understand!
Alright, I'm gonna be a subscriber for life. You have so much knowledge in one video, it's too good to be missed. Recommended for any modern developer!
I love how you basically construct lisp in js here. Got here interested in JS and running emacs basically as an os, implying some lisp comprehension... gonna learn me some haskell now
I thought I knew functional programming. I was wrong. Since watching your videos I have been able to solve some problems with the functional code I made. Thank you !
I learnt haskell because I wanted ro improve my recursional thinking. Now I’m in love with it. The best decision ever.
this is pure gold
I'm new to the functional world and you have helped me greatly understand what is going on. Thank you so much for this video.
Awesome! only one suggestion to get rid of the "dirty" functions:
const a2l = arr => [...arr].reverse().reduce((l, i) => pair(i)(l), null)
const l2a = xs => (xs === null ? [ ] : [head(xs), ...l2a(tail(xs))])
The fact that you can just hammer that in the keyboard from the top of your head is impressive.
When I program is more like hm hm hm think think *type thing in* hm oh no *delete again* hm think hm oh yeah *types thing in*
I think people can hear the sound of an old modem coming from my brain in the thinking phases
Saaammeee
The more you do this kind of stuff, the faster you naturally get. Any senior level dev can do this type of stuff from their head at a fast speed. It's like anything, the more you do it, the faster you become.
Great video, well explained. You should make more like this
This has to be one of the coolest coding videos i´ve ever seen.
This its increible bro!!! You are the best profesor of functional programming i see! A hug from Venezuela. Thanx
I just decided to learn Haskell after seeing some of your videos, and after searching, this was the first thing I found
Very succinct description of FP in JavaScript. I couldn’t help but thing of lisp with the FP list that you created
Wow, this is mind bending
Thanks so very much. I've made FP a personal study since 2013. I've wanted to break into Haskell and have been thwarted more than once. This is a great Haskell intro imho.
спасибо большое. Очень четко и ясно. хотелось бы больше таких примеров с чистыми функциями и сравнения JS c Haskell
What a starting point. Pure genius.
I loved the explanation and now I am more interested in knowing Haskell.
This is so useful. Your explanation is so informative and insightful.
Incredible. This helped me grok FP and haskell SO MUCH BETTER! Thank you!
Every Javascript Programmer should learn this presentation by heart!!
Even though I hate JS, this video is great. I learned so much about FP from your videos. I really hope you are doing well.
This is the BEST FP video that I've ever seen. Thanks man.
in the first argument it's actualy use a condition checker which is like if Statement. in recursion we must find a way to get out so if statement it's required i think.
You are great man, thank you for the content.
I thought I was gonna hate the video but turns out it was great, keep it up!
Thank you for teaching me just how bad functional programming can be. I'll never attempt to step away from OOP again.
amazing demonstration of haskell skill
genius, i'd never thought in this way
THANK YOU VERY MUCH, VERY HELPFUL IN WHAT FUNCTIONAL LOOKS LIKE
Amazing!!!!! I hadn't thought of it that way. you have a fan here brazil!
That was a great video! absolutely loved it ❤️ you should have more subscribers.
Really good and useful video! Thanks a lot!
Really liked that video!
Amazing explanation. Maybe you should repeat it with porth (if you implement anonymous functions)...
There a good starting point so that people not used to FP can approach it and connect it with something that they may be more familiar with. Noice!
Name of the outro song?
Mind blowing pedagogue !
I knew what was going on and was lost simultaneously. Very strange
Impressed!👌✨
Great video about pure functions! Similar to when you visit another country and meet new people and learn something new about theirs' culture :)
This video is pure gold!
I tried PureScript once but I could not for the life of me figure out how to write the type signatures of effects or really understand their syntax. The pure functional types make sense, but the others were very confusing.
this is really amazing stuff, thanks for sharing! i've been wanting to try to apply some of the knowledge of fn programming to my js knowledge but didnt know where to start
This explanation is so damn good
When you implemented array2list why did you reverse the list instead of just iterating from xs.length - 1 down to 0?
They're equivalent solutions... so probably his was the first one that came to his mind
@@DavidAguileraMoncusi One is more efficient than the other though.
@@jacobscrackers98 efficiency is clearly not a high priority in these examples (although of course Haskell does gain efficiency through pure functional laziness).
@@chromosundrift If it doesn't cost anything extra, one should go for the more efficient option imo
@@jacobscrackers98 Efficiency in Javascript wasn't the point. Lots of stuff he's doing like function currying are horribly inefficient in JS, but the idea was to understand Haskell better. Keep in mind that in haskell the compiler optimizes a lot of these things for you. So a lot of inefficient practices in JS aren't inefficient in Haskell, because Haskell is designed for that style of solution in mind.
So beautiful.
Mindblowing!
Incredible video
If you don't account the Array limitation, you don't need to re-implement map and arrays to list, list to array. I understand why you did that, but in practice the only thing you really need is ranges.
Really slick, great video!
I think as a disclaimer it should be made clear that types also have to be pure in functional languages. Having a function returning either an integer or string is not possible in Haskell without a unifying type.
This video just made a 501 in my brain
i don't understand why would somebody write all that code instead of if else statements and for loops, what's the benefit of FP over OOP?
That was beautiful
masterful editing
Id expect n to return true.. Learned new on the JS side as a plus. Learning never ends!
I think,that separating on 2 parts it's not a good trick, because haskeller also should know how write good Side Effect code using monad and etc.
And using Side Effects through the powerful mathematic conceptions - it's actually beauty of haskell.
Oh that's what is the purpose of monads! I've seen the example of monad that does the logging, and after reading this my eyes have opened.
Very carefully crafted and easy to follow presentation! thank's a lot!
wow. amazing video, really!
Люто лайкую. Топчик.
Looks fancy, but how much Stack Overflows does occuring in functional languages?
quality content comrade
Fantastic!
Why are ternary operators allowed but not other forms of conditionals? Are nested ternary operators allowed?
I do love me some javaskriept, great video!
This was really helpful! Thank you
Ah, yes, how to blow up the stack by creating a range.
Great video tho !
That was amazing, thank you.
great video, thank you!
I assume this "no arrays" rule is just to firmly disallow random access inside a list of data? For actual as functional as possible within JS code, just using arrays as if it is a list (map, filter, reduce, and only traversing it using recursion) will be much more performant while conceptually being the same as functional programming, right?
Recursion is not more performant that straightforward iteration, it's the opposite. Firstly there is a call stack limit and if you reach it then the program crashes. Secondly, instead of a single CPU instruction like in a single iteration, an iteration using recursion also involves creating the function object.
@@Leonhart_93 yeah i know... Unless the language optimises tail call recursion, or you use recursive functions that isn't optimisable, it's quite limited in depth.
But I meant using arrays in JavaScript is significantly faster than a homemade linked list would be.
But I'm pretty sure the functional built in functional methods like map, filter etc. on the array objects are just as fast or faster than a for loop is in most js implementatons.
@@SteinGauslaaStrindhaug I do not think they are faster than low level loops. There is no imaginable reason why they would be faster than doing i++.
Their purpose is to simplify working with arrays and stuff, for faster dev implementation, and not for more efficient runtime.
Beautiful
Как раз изучаю функциональное программирование на js
Amazing ❤
Great way to explain
comfy
I love this video!
what... you can concatenate expressions in js
Seems like 5 is a direct fallout of 3.
why should there be no if conditions for it to be functional
that fisbuzz example using if statement. while you said we cannot using ifs ?
It's probably a bit late, but the Haskell "if ... then ... else ..." works like a ternary. The thing that's not allowed is just if ... then ..., because then there is no return value when the check fails.
I'd like to contribute subtitles in English; would you please enable video subtitle submissions?
No Ifs - how is the ternary operator different than writing out an if / else?
It's different in that it forces each branch to produce a value, so all the logic is in the context of an expression. Basically, it works around having to remember to always include an else and two returns. Writing one language within another will tend to have awkward translations.
Great video
No loop is a bit crazy to understand. Does that mean any arr.forEach, arr.filter is also not allowed in the classical way? Or these function isn't referred as a loop ? I think this needs to be clarified.
forEach indeed does not exist, because in pure functional code it could not do anything; it returns undefined. The closest equivalent in Haskell is forM_ which operates within a monad as a way to model side effects. filter, on the other hand, is one of three core higher order operations on collections: map, filter, and reduce. Each of these produce a result, using some number of calls to a worker function they've been passed (mapping, predicate or reduction). Such higher order functions (often based on folds) usually replace loops, but recursion is the core mechanism. The core reason is that looping relies on side effects (something must be changing for the loop to complete). Without side effects, programs are easier to reason about and we can do things like evaluate multiple portions simultaneously.
Thank you for this video. I wonder though about the use of ternary operators... In a way, is it not like using a "if"?
In functional programing else is mendatory, because expressions always have value. Ternary operator enforces this constraint in procedural language.
if is a statement and returns no value, so it cant be used
mind blown
javascript can do all this but what do they use it for? let [count, setCount] = useState(0)
Yeah well, good luck designing the modern extremely complex UIs with those strict pure functional rules. Especially the avoiding side effects part.
@@Leonhart_93 thanks
@@Leonhart_93 thanks
Thank you so much because now i fan of fp
Won’t Java stack explode with recursion?
Great video!