It's a bit of word games, really. Even if you make the assumption they mean variables as in a mutable location in memory, like a C addressable lvalue, Haskell does support those via Foreign and Storable. There are also other mechanisms like MVar and TVar. Point is, those are not how you write basic logic. Starting there would make things harder. For imperative programmers, it's a crucial step to go from "do this then that" to "this is".
Well, interestingly enough, the likely source of the ideas in rust are probably Ocaml, because the original compiler was written in that. I suppose we might call it a.. Fun.. Fact.
Cool video. Subbed! I've been curious about Haskell for a while, but with all the hype around zig, go and rust, I dunno which path to take 😖😖. I'm presently a web developer. Hope you make more videos like this 😀
Funnily enough, I think Rust may be a very good transitional language to help programmers familiar with IP get started with FP. It allows you to do everything you can do in an imperative language, but it has many functional elements that often make your code cleaner and more concise. This is all to say, that instead of nosediving into insanity land, you get to ease into it 😅
Disagree completely. It's a systems language so not even a general purpose one and the fact that it has imperative nonsense undermines everything. Not to mention this isn't insanity, this is computer science. It has math and logic backing it. Imperative languages don't and were made completely adhoc and arbitrary with no denotational semantics behind it
@@AndreiGeorgescu-j9p if forgetting that computer science is not the fundamental basis for computation in the real world, but electrical/computer engineering which has resulted in languages which generalize sequential assembly instructions grouped into procedures, procedural programming being arbitrary might be true.
@@AndreiGeorgescu-j9p Nonsense. While PLCs exist where you build systems with programming that is specifically not general purpose, what we refer to as a system programming language has to be general purpose. It was mostly introduced with C. Turing and Random Access machines are thorough semantic models, just ones that carry state. Just like lamda calculus, they require abstraction to be practically applied to complex tasks; this is not a limitation of either model, it's one of human minds. What makes Rust a bad choice isn't the way it introduces type classes (renamed traits) and loop fusion (via a heap of other abstractions). It's how it insistently distracts the programmer with memory management minutiae at all times (an extremist case of premature optimization). The noisy syntax is a bit of a double edged notion, as it's apparent some people think that's a requirement.
@@AndreiGeorgescu-j9p Being suitable for one purpose (and the most general one at that) doesn't make a language not general purpose. While Rust's main weakness (its focus on sequential effects like what is freed when) is firmly rooted in imperative style, it does indeed bring over several core advantages directly taken from the ML family, such as sensible sum types, pattern matching and functional iteration fusion.
Hmm... I think the function type arrow has a better explanation. lets say we have a function f :: a -> a -> a -> a, so it "has three arguments" (which is not the whole truth) and returns a value of the same type. The reason why there are only arrows has indeed something to do with currying, but I think it's best explained with implicit braces. if you call the function you can do it like that: f x y z, but there you are leaving off unnecessary braces, equivalent to: (((f x) y) z), and here comes the interesting part. It's the other way around in the type, here we're leaving off these braces: f :: a -> (a -> (a -> a)). So every function ever only takes a single argument, and just returns another function. In practice it doesn't really hurt to think of function taking multiple arguments, but to really understand the syntax it's not that helpful.
Amazing content my nakama!!!! Im glad i found you while youre just starting your channel. I hope that one day you post haskell solutions of leetcode problems one day. I feel like if you show elegeant and juicy looking haskell solutions to all of those in the leetcode rat race, thats the easiest way to attract a lot of coders towards haskell as most of us are looking for easy to understand code.
the likeness with rust will be even more when we start talking about typeclasses and monads, most of the "errors as values" and "make invalid states unrepresentable" philosophy stems from that.
I think the idea (in theory) is that it's predisposes you to break up medium and large tasks into smaller ones. Obviously thats not always possible, but I also wouldn't write off that aspect of it.
Excellent video! 🎉I think the currying part might be a little bit wrong though. Calling a function with only some of the arguments is called Partial Application. Currying is afaik know the process of turning a “normal “ function in to a curried function. Other than that very nice video, great visuals and clear explanations 🤩
Nice introduction video to the art of Haskell programming, I think that a good programmer should learn some Haskell since it introduces new and useful concepts that most other languages don’t have direct support for. Even if you end up using other languages for your project the spill over effects from learning Haskell can be very useful.
Fascinating, but if it’s a purely functional language, then how do I write to a database? You know, the normal shit you have to do once you get out of the functional bubble.
Thanks for explaining my favorite language's syntax to dummies Now I can't say I'm smarter than them by evaluating simple code as if it was impossible to process now I need to find a better way to commit programming fraud lol😂😂
Lol ^^’ You have to develop the idea, because I use Haskell and Haskell like languages since 8 years and it solves in a really fast and elegant way all my problems ^^’. ( I’m doing video game, I started with OOP.. )
Thanks for the video. Now I'm sure that I'll never touch Haskell. The syntax doesn't make any sense and there is no real solid reason. I like funcional languages but this one is a big no. Thanks again
To be fair, those other languages are often more intuitive *because* they borrowed from or built off of Haskell. Also the only "weird" about the syntax here I can think of is currying? Which I think is just something you have to get used to for functional programming / lambda calculus in general.
watching this at 2x so i can do it in 3.5min
Install the 3x extension to do it in even less
efficiency FTW
You can do it in even less time if you just skip to the end of the video.
3.25 🤓
@@lowlevelcodingch u must be a blast at parties
The sentence "Haskell doesn't even feature variables" deals immense psychic damage to most programmers
It's a bit of word games, really. Even if you make the assumption they mean variables as in a mutable location in memory, like a C addressable lvalue, Haskell does support those via Foreign and Storable. There are also other mechanisms like MVar and TVar.
Point is, those are not how you write basic logic. Starting there would make things harder. For imperative programmers, it's a crucial step to go from "do this then that" to "this is".
Not as much damage as someone who titles a video how to READ haskell code without actually ever mention how it is read.
thank you very much! i'm getting into haskell after doing python at my university and this video has everything i need. certainly a sub justified
After watching this it's so much clearer where a lot of ideas of Rust came from :)
Well, interestingly enough, the likely source of the ideas in rust are probably Ocaml, because the original compiler was written in that. I suppose we might call it a.. Fun.. Fact.
great video, your first video actually motivated me to start learning haskell :)
One more excellent haskell tutorial series!
Cool video. Subbed! I've been curious about Haskell for a while, but with all the hype around zig, go and rust, I dunno which path to take 😖😖. I'm presently a web developer.
Hope you make more videos like this 😀
Thanks a lot! I should look into zig at some point, hearing more and more about it lately.
Funnily enough, I think Rust may be a very good transitional language to help programmers familiar with IP get started with FP. It allows you to do everything you can do in an imperative language, but it has many functional elements that often make your code cleaner and more concise.
This is all to say, that instead of nosediving into insanity land, you get to ease into it 😅
Disagree completely. It's a systems language so not even a general purpose one and the fact that it has imperative nonsense undermines everything. Not to mention this isn't insanity, this is computer science. It has math and logic backing it. Imperative languages don't and were made completely adhoc and arbitrary with no denotational semantics behind it
@@AndreiGeorgescu-j9p if forgetting that computer science is not the fundamental basis for computation in the real world, but electrical/computer engineering which has resulted in languages which generalize sequential assembly instructions grouped into procedures, procedural programming being arbitrary might be true.
@@AndreiGeorgescu-j9p Nonsense. While PLCs exist where you build systems with programming that is specifically not general purpose, what we refer to as a system programming language has to be general purpose. It was mostly introduced with C. Turing and Random Access machines are thorough semantic models, just ones that carry state. Just like lamda calculus, they require abstraction to be practically applied to complex tasks; this is not a limitation of either model, it's one of human minds.
What makes Rust a bad choice isn't the way it introduces type classes (renamed traits) and loop fusion (via a heap of other abstractions). It's how it insistently distracts the programmer with memory management minutiae at all times (an extremist case of premature optimization). The noisy syntax is a bit of a double edged notion, as it's apparent some people think that's a requirement.
@@AndreiGeorgescu-j9p Being suitable for one purpose (and the most general one at that) doesn't make a language not general purpose. While Rust's main weakness (its focus on sequential effects like what is freed when) is firmly rooted in imperative style, it does indeed bring over several core advantages directly taken from the ML family, such as sensible sum types, pattern matching and functional iteration fusion.
Haskell, one language to curry them all, one to map them, One to all, and in the darkness >>= them
Hmm... I think the function type arrow has a better explanation. lets say we have a function f :: a -> a -> a -> a, so it "has three arguments" (which is not the whole truth) and returns a value of the same type. The reason why there are only arrows has indeed something to do with currying, but I think it's best explained with implicit braces. if you call the function you can do it like that: f x y z, but there you are leaving off unnecessary braces, equivalent to: (((f x) y) z), and here comes the interesting part. It's the other way around in the type, here we're leaving off these braces: f :: a -> (a -> (a -> a)). So every function ever only takes a single argument, and just returns another function. In practice it doesn't really hurt to think of function taking multiple arguments, but to really understand the syntax it's not that helpful.
That's literally what currying is
Amazing content my nakama!!!! Im glad i found you while youre just starting your channel. I hope that one day you post haskell solutions of leetcode problems one day. I feel like if you show elegeant and juicy looking haskell solutions to all of those in the leetcode rat race, thats the easiest way to attract a lot of coders towards haskell as most of us are looking for easy to understand code.
Awesome video! Hope your channel blows up
Thank you! I've always wanted to learn Haskell!
as someone who mainly uses rust and has used lisps, i recognize a lot of similarity.
type variables are like rust's generics, guards are like lisp if
the likeness with rust will be even more when we start talking about typeclasses and monads, most of the "errors as values" and "make invalid states unrepresentable" philosophy stems from that.
Never moved to see what's the matter with Haskell, this seems like a interesting topic.
Wow! Just amazing. Incredible video, highly detailed and well explaining, while still remaining very short and concise. Great job!
YES, NEW PEPSI VIDEO DROPPED; ILY! (THIS WAS SO MUCH FUN TO WATCH) 🥳♥
Haskell syntax is so simple and pretty... When you are doing tiny to small things. The moment you do medium or larger, the syntax becomes unreadable.
ok cool ig?
I think the idea (in theory) is that it's predisposes you to break up medium and large tasks into smaller ones. Obviously thats not always possible, but I also wouldn't write off that aspect of it.
Like I know people who work with Haskell who have similar criticisms but they provide a lot more nuance than "it only works for small things"
Finally I can at least barely understand my xmonad config lol. Great video!
Excellent video! 🎉I think the currying part might be a little bit wrong though. Calling a function with only some of the arguments is called Partial Application. Currying is afaik know the process of turning a “normal “ function in to a curried function. Other than that very nice video, great visuals and clear explanations 🤩
This is a crazy helpful video! Thanks.
Thanks so much. Please keep doing more ❤
Excellent video, thank you!
Very good video! Do yo have any recommendations on literature for haskel that is relevant today? Thanks!
The haskell wiki has a ton of good resources listed i am pretty sure.
Wonderful video!
banger
Nice introduction video to the art of Haskell programming, I think that a good programmer should learn some Haskell since it introduces new and useful concepts that most other languages don’t have direct support for. Even if you end up using other languages for your project the spill over effects from learning Haskell can be very useful.
how did you make the animation?
Does anyone (i.e.: significant organization) really use Haskell for any production code, though?
see first video
dank u wel. this was great.
hello peppidesu? can you tell that how to make video like this? PPT or Manim or others?
latest version of ppt and some editing
@@peppidesu thk you
Amazing video again. May I ask what you’re using to animate your slides?
description^^ :)
@@peppidesu mad at myself for missing that; thank you and sorry!
Hi,Need some help with Haskell
How to contact you
Bout to put Haskell on my resume now
wow, great video
Fascinating, but if it’s a purely functional language, then how do I write to a database? You know, the normal shit you have to do once you get out of the functional bubble.
I intentionally left that part out, because it is a bit more complicated than usual
Haskell is literally the language that invented the solution for that. And we use libraries like esqueleto, selda or persistent.
@@0LoneTech So presumably those libraries are not purely functional?
@@Wordsalad69420 An incorrect assumption.
@@0LoneTech How can they be purely functional if they have side effects?
type signatures are an anti-pattern.
Really nice
"Haskell doesn't even feature variables"
Emotional Damage.
cant wait for monads
type signatures are an anti-pattern. just use inference.
They have their uses. E.g. the Idris way involves writing your type signatures and inferring the logic. :P
The best way is to let the inference write the type signature into your code for you.
@@TheArtikae the best way is to let your complier/editor infer the interface.
Thanks for explaining my favorite language's syntax to dummies
Now I can't say I'm smarter than them by evaluating simple code as if it was impossible to process
now I need to find a better way to commit programming fraud lol😂😂
Heck yeah🎉
Arguments and parameters are different things. The function declaration (not applying or execution) uses parameters, not arguments.
RUclips ads are getting REALLY BAD.
Hello to people who care about Haskell, I see almost the entirety of you came to this comment section.
And I don't even need to memory allocate in my brain to learn this - Haskell has it built in!
Now explain , and >>=
🤔🤔🤔🤔
stop saying that is a very complicated topic because it isn't
It is to some people, and they often get turned away when someone says it's simple. It's not like hes saying its impenetrable, just chill out.
go deeper, read Haskell source code, you'll find complexity all the way down.
Haskell: A language which solves a non-existing problem
Lol ^^’
You have to develop the idea, because I use Haskell and Haskell like languages since 8 years and it solves in a really fast and elegant way all my problems ^^’.
( I’m doing video game, I started with OOP.. )
Thanks for the video. Now I'm sure that I'll never touch Haskell.
The syntax doesn't make any sense and there is no real solid reason.
I like funcional languages but this one is a big no.
Thanks again
For me this seems to make much more sense than other (functional or otherwise) languages I've seen.
To be fair, those other languages are often more intuitive *because* they borrowed from or built off of Haskell.
Also the only "weird" about the syntax here I can think of is currying? Which I think is just something you have to get used to for functional programming / lambda calculus in general.
And y'all be saying C++ is the hardest language