How to read Haskell code (in 7 minutes)
ฝัง
- เผยแพร่เมื่อ 15 มิ.ย. 2024
- Hope you liked the video! This took a while to make (mostly bc of uni stuff getting in the way).
In this video, I will be going over the basics of Haskell syntax. Haskell is syntactically very different from other languages, so this video should clear up a lot of confusion around Haskell code. I won't assume you understand everything covered in this video going onward, this is just to make sure I can explain the more interesting stuff without having to explain syntax-related tangents in full detail.
==============================================================
Discord server: / discord
Twitch: / peppidesu
Patreon: patreon.com/user?u=55163786
Fonts used:
- Presentation: Comfortaa, Lexend Deca
- Code: Iosevka SSO7
Color theme: Ayu Mirage
Tools used: MS PowerPoint, Adobe Premiere Pro, Visual Studio Code
Timestamps:
- [0:00] Intro
- [0:16] Functions
- [1:10] Calling functions
- [1:27] Infix functions
- [1:43] Types
- [2:20] Type variables
- [2:55] Typeclasses
- [3:40] Currying
- [4:35] Branching
- [5:09] Pattern matching
- [5:35] Guards
- [6:16] Let-in and where
- [6:33] Outro
#haskell #functionalprogramming #tutorial #syntax #programming #computerscience - วิทยาศาสตร์และเทคโนโลยี
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 🤓
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
The sentence "Haskell doesn't even feature variables" deals immense psychic damage to most programmers
After watching this it's so much clearer where a lot of ideas of Rust came from :)
great video, your first video actually motivated me to start learning haskell :)
One more excellent haskell tutorial series!
Awesome video! Hope your channel blows up
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
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.
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.
Thank you! I've always wanted to learn Haskell!
Thanks so much. Please keep doing more ❤
Excellent video, thank you!
Finally I can at least barely understand my xmonad config lol. Great video!
Wonderful video!
YES, NEW PEPSI VIDEO DROPPED; ILY! (THIS WAS SO MUCH FUN TO WATCH) 🥳♥
Don't have a verified account yet??? wth
Never moved to see what's the matter with Haskell, this seems like a interesting topic.
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
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"
banger
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 🤩
wow, great video
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.
Really nice
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.
Heck yeah🎉
how did you make the animation?
Haskell, one language to curry them all, one to map them, One to all, and in the darkness >>= them
You have a perfect voice for this.
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!
Wow! Just amazing. Incredible video, highly detailed and well explaining, while still remaining very short and concise. Great job!
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.
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
cant wait for monads
Does anyone (i.e.: significant organization) really use Haskell for any production code, though?
see first 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
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😂😂
type signatures are an anti-pattern. just use inference.
Bout to put Haskell on my resume now
Now explain , and >>=
And I don't even need to memory allocate in my brain to learn this - Haskell has it built in!
Hello to people who care about Haskell, I see almost the entirety of you came to this comment section.
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.. )
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.
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
Arguments and parameters are different things. The function declaration (not applying or execution) uses parameters, not arguments.