Skip to content
Hallway
0:00 / 0:00

#categorytheory#monads#haskell

Category Theory 10.1: Monads

Bartosz Milewski

29K subscribers • 2 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • A classic. People kept recommending it from 2018 to 2023.
  • Presented by Bartosz Milewski

Advanced. Deep dive for people who know the field.

70K views10 years ago2 recommendations

Computer scienceProgramming languagesComputation and complexityFunctional programmingHaskell

Bartosz Milewski explains the mathematical foundations of monads in category theory and how they relate to programming.

Monads

Why it's here

2 people recommend this

What people say. Recommended as an excellent explanation of why we need monads in functional programming and what problems they solve.

Moments people linked to

u/The_Power_That_Bin r/scala • Recommends

On “Seriously: What is the best explanation of Monads for people who can't grasp it?”

I highly suggest watching at least this section of Bartosz Milewski's lecture on monads which explain why we need monads in FP in the first place. You certainly need plenty of exercises to make it click but understanding what problem they solve might prove helpful.
7View on Reddit

u/ISvengaliin r/haskell • Recommends

On “I’m having difficulty finding professional Haskell opportunities I’m qualified for”

Now if I can see if I can get out of my own way trying to understand Monads. I swear, its been a year with countless articles and videos. The most recent one was by Bartosz Milewski. I liked it, I especially liked how he compared Monads to functions. Its still, you have _bind_ and _return_ (or whatever you want to call them) group, this with that, bing bang zooey in 3 lines of code I wrote a full HTTP server and it tests itself with 100,000 clients. It can take me a while to really grok an idea, but generally once I do I can connect it to everything else. However, Im either overthinking them, or I just havent found the right knot to pick at. Sorry, got a bit wordy, eventuall…
1View on Reddit