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?
@いあ 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.
"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.
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
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 !
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
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!
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.
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.
@@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.
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 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
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.
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.
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 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 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.
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.
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.
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.
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
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 !
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!
this is pure gold
This has to be one of the coolest coding videos i´ve ever seen.
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))])
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
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!
I learnt haskell because I wanted ro improve my recursional thinking. Now I’m in love with it. The best decision ever.
Great video, well explained. You should make more like this
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.
This its increible bro!!! You are the best profesor of functional programming i see! A hug from Venezuela. Thanx
спасибо большое. Очень четко и ясно. хотелось бы больше таких примеров с чистыми функциями и сравнения JS c Haskell
Every Javascript Programmer should learn this presentation by heart!!
Wow, this is mind bending
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
What a starting point. Pure genius.
THANK YOU VERY MUCH, VERY HELPFUL IN WHAT FUNCTIONAL LOOKS LIKE
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.
This is the BEST FP video that I've ever seen. Thanks man.
Incredible. This helped me grok FP and haskell SO MUCH BETTER! Thank you!
I loved the explanation and now I am more interested in knowing Haskell.
Amazing!!!!! I hadn't thought of it that way. you have a fan here brazil!
You are great man, thank you for the content.
amazing demonstration of haskell skill
I thought I was gonna hate the video but turns out it was great, keep it up!
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 so useful. Your explanation is so informative and insightful.
genius, i'd never thought in this way
Really good and useful video! Thanks a lot!
Thank you for teaching me just how bad functional programming can be. I'll never attempt to step away from OOP again.
Mind blowing pedagogue !
This explanation is so damn good
That was a great video! absolutely loved it ❤️ you should have more subscribers.
This video is pure gold!
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.
Great video about pure functions! Similar to when you visit another country and meet new people and learn something new about theirs' culture :)
wow. amazing video, really!
I do love me some javaskriept, great video!
Really liked that video!
Very carefully crafted and easy to follow presentation! thank's a lot!
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!
Really slick, great video!
Id expect n to return true.. Learned new on the JS side as a plus. Learning never ends!
This video just made a 501 in my brain
quality content comrade
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 knew what was going on and was lost simultaneously. Very strange
masterful editing
Impressed!👌✨
This was really helpful! Thank you
Incredible video
So beautiful.
That was beautiful
Amazing explanation. Maybe you should repeat it with porth (if you implement anonymous functions)...
great video, thank you!
Mindblowing!
That was amazing, thank you.
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.
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 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
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.
Ah, yes, how to blow up the stack by creating a range.
Great video tho !
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.
Fantastic!
Люто лайкую. Топчик.
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?
Thank you so much because now i fan of fp
Name of the outro song?
Great way to explain
Looks fancy, but how much Stack Overflows does occuring in functional languages?
I love this video!
comment 2: holy fuck thats beautiful, emacs never taught me this
Why are ternary operators allowed but not other forms of conditionals? Are nested ternary operators allowed?
comfy
awesome video! thanks :)
Amazing ❤
Beautiful
mind blown
Как раз изучаю функциональное программирование на js
Seems like 5 is a direct fallout of 3.
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.
Thanks, this was cool.
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
what... you can concatenate expressions in js
I'd like to contribute subtitles in English; would you please enable video subtitle submissions?
Great video
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.
why should there be no if conditions for it to be functional
beauty
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.