When I learned Haskell at college it felt like if a hardcore Mathematician with zero experience in programming was tasked to design a programming language solely based in the definition of what a programming language is.

@005xelculotlainco

Жыл бұрын

Thanks

@stopper0203

Жыл бұрын

Sounds like my kind of language 😎

@_david_mp

Жыл бұрын

My lord i've to learn haskell in 3 days for a college exam and came here to see if i could undertand a bit better haskell but this language is... estrange😵🤧🤧

@I_Love_Water

11 ай бұрын

@@_david_mp Haskell in 3 days???? Like maybe learn C in 3 days actually doable if you put 72 hours in, but you ain't learning Haskell completely in 3 days mate.

@SanderMakes

10 ай бұрын

​@@I_Love_Waterthey never said learn completely. Just completely enough to pass the exam

For the little more advanced users, here is an interpretation of the IO monad that I really liked: If you imagine that you put the state of our entire universe in a record World, then IO could be seen as a World Transformer. Thus, a function with side effects simply maps a state of the World to a new one. For example, putStrLn "Hello World!" takes a World where the screen is blank, and returns a World where "Hello World!" is on the screen :) I find this interpretation beautiful, and it doesn't violate immutability nor does it need side effects

@levibanks7138

2 жыл бұрын

Yeah that’s a great explanation Bind just takes the result from a monad action and then inputs it to another function

@petrushoc

2 жыл бұрын

IO a ~ (Real World) ->(Real World, a)

@TheMR-777

2 жыл бұрын

You are creating Branches in *MULTIVERSE* mate! :)

@SimGunther

2 жыл бұрын

All this is possible thanks to the runtime that says "I won't do this I/O effect now, but if I were, here's how I'd do it" and never tells the user how the world exactly changed. It would just let the user assume that the world changed in some way to maintain the illusion of "purely functional code" that is somehow useful...

@TheMR-777

2 жыл бұрын

@@SimGunther You mean, The Laziness?

I'm learning Haskell in university this semester. It's quite hard to learn but makes you feel like a wizard when it works 🧙‍♂

@joaquinbonifacino6964

2 жыл бұрын

Exactly in the same position, i have my exam tomorrow xd, but then you rage because the code isn't compiling because of a space..

@dannyisrael

2 жыл бұрын

I don't feel like a wizard when it works.

@MewPurPur

2 жыл бұрын

I don't feel like a wizard because it doesn't work :(

@codelightsparkles2403

2 жыл бұрын

I don't wizard like a feel

@tokiomutex4148

2 жыл бұрын

@@joaquinbonifacino6964 Let the hate flow through you

Pls try Elixir in 100 seconds. It's a really nice programming language. Great vid tho

@abh1yan

2 жыл бұрын

Yeah

@menardmaranan9356

2 жыл бұрын

agree

@toesi-chan

2 жыл бұрын

yes!!!! and you could cover the phoenix framework with it

@kp8752

2 жыл бұрын

My fav language to use

@akshattamrakar9071

2 жыл бұрын

Totally agree

The problem with Haskell is that once you try it, you never come back

@tokiomutex4148

2 жыл бұрын

All code written in those imperative object oriented languages is brittle and it sucks

@dewigesrek5651

2 жыл бұрын

well, hi

@dewigesrek5651

2 жыл бұрын

i left haskell due to lack of jobs

@yOkay_

Жыл бұрын

@@tokiomutex4148 i love assembly btw

@pubgplayer1720

Жыл бұрын

​@@tokiomutex4148storing state in variables is something I will never forego ever again; haskell sucks balls

I like these super quick breakdowns of the language and how to get started. Fantastic series thank you for making it

Functional programming is so cool. Even if you don't like hardcore functional programming, you can still take parts of it and include it into your own code in for example JavaScript.

@embeddor2230

2 жыл бұрын

Avoiding mutable state is always desired in all programming paradigms.

@teemukarppinen9462

2 жыл бұрын

@@embeddor2230 True. Although it's often ignored and not emphasized enough in OO

@marusdod3685

2 жыл бұрын

@@embeddor2230 yet 90% of functional code uses some sort of state monad.

@insertoyouroemail

2 жыл бұрын

@@marusdod3685 That is not true.

@mekelius

2 жыл бұрын

Yes, but it makes me sad that Guido said that python will never have tail calls, so out of the box my two loves can never be brought together :( JS is getting there tho.

Keep up the great content, absolutely love each single video you make!

Learning Haskell is an adventure. You're learning about currying, pattern matching etc. and you're like "this is such a cool language". Then monads just come out of nowhere and hit you like a brick wall.

@deidyomega

2 жыл бұрын

You arent wrong about crying.

@marusdod3685

2 жыл бұрын

each monad feels like an entirely different programming paradigm

@wingjaigaming8240

2 жыл бұрын

This is exactly what I feel right now lol. I’m taking a course about functional programming this semester

@orkhepaj

2 жыл бұрын

monads?

@marusdod3685

2 жыл бұрын

@@orkhepaj indeed

Learning Haskell was one of the most fun experiences of my life. Even if you never use it, learning it will expand your mind and make you a better programmer.

@just-do-halee7375

2 жыл бұрын

Wow that was Rust in my life.. so i should learn Haskell Okay

@hojdog

2 жыл бұрын

Is there any particular resource you used to learn Haskell that you can recommend?

@marusdod3685

2 жыл бұрын

@@just-do-halee7375 Haskell is basically Rust with a way better type system, also comes with a garbage collector so you don't have to worry about the compiler complaining for hours about pointer lifetimes

@leoaso6984

2 жыл бұрын

@@hojdog "Learn you a Haskell" was a fun read.

@StuWilloughby

2 жыл бұрын

@@marusdod3685 Some might say that having a compiler moan until your code is guarenteed correct is better than relying on a non-deterministic GC.

I would probably give you a hug right now! Thank you for introducing Haskell to the community; 😊

I've only played with Haskell a little bit but the lib that blows me away is Parsec (parsing library). Being able to write interpreters in code that looks just like the BNF grammar sounds awesome! ( I haven't written one myself yet but have seen small examples.)

Love your videos man! Your content is indeed fire like your channel logo.

Amazing! You made it sound incredibly simple, thanks!!

Just found this channel a few days ago. The content is AMAZING.

I've been waiting weeks for this! Finally, FINALLY!!

Okay, you've gottttt to do APL now. That wonderfully fascinating language deserves your (and our) attention.

@fckngcheetah

2 жыл бұрын

no god please no

Super cool! I've always been fascinated by Haskell!

Took a class on that in uni and it was actually pretty damn cool. Makes you use your brain a lot more!

Please do Prolog next ! :) It's sufficiently different from the others to deserve its place. And more on Haskell would be cool too IMO.

@randomizednamme

2 жыл бұрын

Prolog broke my brain way more than Haskell

@Daniel_WR_Hart

Жыл бұрын

Pretty underrated language. I had to learn it a bit for an AI course, but it can be kind of fun for doing basic LeetCode-style questions. It would probably be more fun if I actually learned the difference between the 5 different ways to assign/bind/compare

@hansisbrucker813

Жыл бұрын

What made Prolog click for me was strangely enough learning Erlang as the syntax is inspired by Prolog, but slightly easier.

@atava85

9 ай бұрын

There's nothing quite like Prolog (in all the good senses).

Awesome, thanks so much! And congratulations on being first video I've ever changed the speed to slower so I can keep up :-D

Seeing you got into functional programming maybe do a Prolog or Lisp in 100 seconds :)). I'm currently studying them in college and I found them a really nice eye opener for functional programming.

@brucewayne2480

2 жыл бұрын

There is also OCaml

@begejekan1244

2 жыл бұрын

Isn't Prolog declarative programming though?

@dannyisrael

2 жыл бұрын

I think the main thing is that Prolog is relational/logical, it basically fills in the gap with everything that is true. X + 2 = 4 X = 2 or, validCourses(CS, X). X = a valid course, press ; for the next result. You probably knew that though.

@JeyPeyy

2 жыл бұрын

@@begejekan1244 functional programming is a form of declarative programming. But prolog is usually considered a logic programming language, which is another form of declarative programming.

@Nolkaloid

2 жыл бұрын

God please, not prolog x)

Great video! Can you make a detailed video about different open source licenses like Apache, GPL, LGPL etc. It will be very helpful to everyone working with open source software and confused about the licenses.

Love this series

Currently doing haskell at my uni. Learnt more in this video than in a few weeks worth of lectures.

These short videos are good to get to know other technologies you may have never thought looking for.

You finally delivered. Bless.

YAAASSSSSSS. Finally! Been Waiting for this forever.

This was a great video. I liked it , I'll search more about it

This is really interesting! I recently created a project called Monad to share and discover code snippets, named after a philosophy concept, but it’s cool to see how it’s related to computer science.

@vulture-6

11 ай бұрын

Please share your wisdom with us

Such a great channel to find out about new things quickly so that I can focus on deciding whether I can utilize it or not in my project. Thanks Fireship!

haskell is making me love math why must it do this to me

Oh, and the best part is Hoogle! If I don't know what function I need but I know what it would need to do, I can roughly describe it by writing it's type (what it should take and what it needs to give me) and I'll get all the functiona that match, (usually only a few, because the types are pretty specific). Of course searching by name works too

@Bratjuuc

2 жыл бұрын

Hoogle rocks!

Thank you doing this! you are the best!!

Finishing up my first semester of cs and we used racket, a similar functional programming language. Happy to see some love for functional programming

Explain please blockchan basic programming in one of your shorts. Great work. I really enjoy your videos :)

@VukasinMilinkovic

2 жыл бұрын

Would love even course on this subject!

I always have a lot of fun implementing the peano axioms in lisp-like languages. Learn you a Haskel for Great Good!

The images for monads are so perfectly describing my time with Haskell monads

I am afraid to try Haskell cause I might become a functional nazi and refuse to write any code with side-effects

@tokiomutex4148

2 жыл бұрын

You'll refuse to write code with side effects that aren't wrapped into monads

@okk2094

2 жыл бұрын

me_irl

@deidyomega

2 жыл бұрын

@@tokiomutex4148 Or maybe he's correct, no side effects at all, and then he just doesn't write code :D

@randomizednamme

2 жыл бұрын

A program with 0 side effects just heats up the CPU, it’s about isolating side effects in your source code.

@lawrencedoliveiro9104

2 жыл бұрын

That would be a side-effect ...

good old haskell I remember having to work on a project with this language in 2013

darn incredible stuff!

Thanks for the heads up, now I know to run when I see this language

The only fear I have in life is 100 seconds videos just stopping. Please keep em coming i love em.

I started with Hashkell, but never really got to cross the learning barrier, this 100 seconds helped me with that.

Been learning Haskell for about 2 months now. Shit is maaaadd confusing but it’s really fun once you figure out. Even tho I say that about most languages this one feels even better to get right!

Great vid, waiting for Prolog

Love the animation of Haskel 🤩

Great! Thanks a lot!

Should've included a bit more about types such as Maybe, Either. Learn You A Haskell For Great Good is such a cool Haskell book and a proper introduction to the language. It has been years since I used Haskell, but had a lot of fun using it back then. If I ever get some spare time again I might just play around with it again.

Awesome video as always, I was wondering if you could do Lisp as well?

Haskell is a super interesting language. I mean you can write quicksort in one line using list comprehensions, you can check for list equality with the good ol ==, and so much. I wouldnt say I'd switch to it from my beloved C and C++, but it's definitely a fun toy language that can be really entertaining to use for coding challenges like advent of code for instance.

Great video!! Try prolog too please. It's a logic programming language

Best thing of learning Haskell is that you will never finish it. This is a thing with every language of course. But with Haskell is special because depending on your skill level and where you are at the learning curve you will use some tricks or others. Is just like doing Pure Maths, you come up with a trick for a specific problem and refine it further and further until you can define a pattern design or kind of a macro that generalises and then all of a sudden you are solving most of the problems of that field with that. Is much more "abstractable" than other languages.

Well, since you set foot in prohibited grounds and decided to scare the normies, now you have no excuse to not make a video about APL.

@Fireship

2 жыл бұрын

We'll get there eventually...

@sebastiangudino9377

2 жыл бұрын

YES!!!!! Nothing better to get in to programing that a language you literalt can't type with your keyboard. Let's get this ball rolling

@arhamaneeq1323

2 жыл бұрын

@@sebastiangudino9377 It's not like our modern OSs can't switch keyboard layouts on the fly. It takes very little time to get used to it.

@sebastiangudino9377

2 жыл бұрын

@@arhamaneeq1323 I mean, i program in dyalog in my free time. I know it's not that big of a deal in practice. But would say that at least for me it did took a long time to get used to it. You can't just throw all this absurd (intuitive one you know then but totally arbitrary when you start) symbols at me and expect me to just start writing code normally. The learning curve of APL is a little bit absurd. And again, i say this a someone who loves that stupid language

@kaiserouo

2 жыл бұрын

@@sebastiangudino9377 I think with the tab function like those in TryAPL, that is not really that much of a problem. Or maybe that's because I was just started to get into the field of APL weirdness...

Love your videos..Please do SCALA !

Fireship on fire 🔥. Great video 👍🏻

Nice video! Topic suggestions: Elixir and Pheonix?

Learning Haskell is awesome, it's totally different world of programming

Hoping that you can do one of these on ROC when it comes out. Partly functional and very fast

Yes! finally. I have been waiting for this one! Still, this is the most procedural and non-functional explaination of haskell i've ever heard :)

@notanenglishperson9865

2 жыл бұрын

Can you suggest any better?

NICELY DONE ! - Data Scientist Mark in North Aurora IL

OMG YESS!!!!!!!!!!!!!!!!!!!! thank you!!!!!!!!! lemme grab some popcorn for 100 seconds

Ahhh, Haskell and Prolog gave me a really fun semester. :$

Please do extended version with explanation of typeclasses, they are really awesome

First time hearing this language, thanks Fireship for introduce me to more new programming language

Didn't expect this

Finally! Haskell!

Haskell looks really scary with it's exotic syntax. Thanks for the good video.

great explanation

Do a deeper dive into functional concepts!

Man the Haskell type system is so nice. If the program type checks there is a 95% chance that it works.

Yep, pretty much this. ^ I'd just add, that *all* the expressions and -variables- named expressions really evaluate to a single value. That includes the `main`! So for example, since both `print 5` and `print "Hello World"` have the type `IO ()`, you can glue them together into one single value and assign it to `main`. In that case, `main` would be an IO value that prints 5 and then prints the Hello World. What's awesome is that these really behave like regular values. You can juggle them around, put them in lists, etc. and they will do absolutely nothing until one shows up in `main`. Only then, the compiler will make it actually do stuff.

I did Haskell for a total of 1 assignment in college and I thought it was really cool. He gave us a definition for a Lambda calculus expression to be stored as a variable, and then step by step got us `to write all the functions necessary to perform a beta reduction on any lambda calculus expression (if I'm remembering right) The definition was something like the form: `Term = Lambda Term | Application Term Term | Var 'x'`, so you could represent any lambda calculus expression with that by replacing "Term" with any of the 3 possible values for Term recursively e.g. Application (Lambda Var 'x') (Application Var 'x' Var 'y') And then we'd just pass that expression into whatever function we're calling it for e.g. beta-reduce (Application (Lambda Var 'x') (Application Var 'x' Var 'y'))

epic 🔥🔥🔥

Scala in 100 seconds would be good to see, Functional programming on the JVM, very cool :)

can you cover apache groovy ? , love this series !!

Omg he actually did it

I think haskells true strength is in its ecosystem. Hoogle and cabal/stack + vscode language integration make everything so much easier. If i need some utility functions or just don't want to implement some algorithm i just use a library by writing single line in my cabal config. I don't think any other language can compete in terms of ecosystem usability.

@devtech4661

2 жыл бұрын

Look into npm, cargo or pip, many options for doing that

I learned it in very hard time in just two weeks, at the time i hated it but i really enjoy functional programming, after that i really liked haskell and enjoy it

The most beautiful and hard way to write top quality software

I looked this up on youtube a couple days ago to see if you did it, and here we are.

"Oh wow, that's really interesting" *never uses Haskell in my life*

Jeff is still my favourite tech youtuber!

These are so perfect for brushing your teeth. I'm never bored and I get to learn a little something. Very glad I found your channel this year. You've taught me a lot!

I am biased, being a tutor for functional programming/Haskell at uni, but... I believe the functional and "immutable by default" paradigm is crucial for going towards bug-free and reusable (re-combinable) code. Yes, it restricts code in certain ways (e.g. no "x = x + 1"), but these restrictions are extremely sensible and they allow a) the programmer to think more clearly (mathematically) and b) the compiler/runtime system to make powerful checks, guarantees and optimizations. For those wondering how incrementing a value a ("x = x + 1") would work in Haskell: You just introduce a new+different name for the new+different value - e.g. "y = x + 1"

the madlad finally did it.

Awesome! Well done! Can you do BQN in 100 seconds? :)

Great video. Just so you know Haskell has a string type which is literally just an alias for a list of characters

@gritcrit4385

2 жыл бұрын

You can use any other string implementations you want depending on your use case

Those "Learn You A Haskell" threads on HN always made me feel funny. Now I get it - this is basically the pre-Rust crowd.

@sixdigits

Жыл бұрын

Hi

@user-tx4wj7qk4t

4 ай бұрын

Rust isn't fp

Great videos: What about a video on Scala in 100 seconds?

Haskell 👑looks neat!✨👍

Hearing the word haskell gives me the heebie jeebies from college, but great descriptor. Love how you just completely moved around monads and typing ;) Functors are like mini monads that also sucked

@luuclucas

Жыл бұрын

A function is just any datatype over which you can map a function. iirc the only function you have to implement is fmap :: ( a -> b) -> f a -> f b

There is also Clean IDE which is studied in ELTE. Everyone hate this subject although it is pretty fun

Great video. Doesn't seem that scary after all

Btw setting up Haskell’s basic tooling is easy these days. Just grab ghcup and you can manage the compiler/LSP server/build tool versions.

@evanhowlett9873

2 жыл бұрын

I imagine they stole this idea from Rust.

you should do incrementally longer videos for the more popular ones: think haskell in 10 minutes, haskell in 2 hours

This reminds me How Powerfully abstracted the Javascript and Even C++ are!

This is the first time , I am seeing a video about haskell with more than 100k views in recent times.

Please also make a video on Scala. :)

I wouldn't say types in haskell are optional, the fun of haskell is writing the safest code possible; and type checking helps