Skip to content
Hallway
0:00 / 0:00

#categorytheory#kleislicategory#monads

Category Theory 3.2: Kleisli category

Bartosz Milewski

29K subscribers • 3 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Bartosz Milewski

Advanced. Deep dive for people who know the field.

75K views10 years ago2 recommendations

Programming languagesComputer scienceFunctional programmingLanguage design and type systemsComputation and complexity

Bartosz Milewski explains the Kleisli category and how it models side effects and composition in functional programming.

Kleisli category

Why it's here

2 people recommend this

What people say. Recommended as an excellent explanation of the Kleisli category that connects category theory to practical programming problems.

Moments people linked to

u/Faucelmein r/programming • Recommends

On “Category Theory for the Working Programmer”

> I would advise Bartosz Milewski's great series of lectures on the topic They are indeed useful. I thought this explanation of the Kleisli category (starting at 8:15) was really good because he tied it to a practical library design problem. It also brings home the point that one shouldn't be exclusively focused on a "types = objects, arrows = functions" view of any language, you can construct and reason with other categories as a tool of thought.
5View on Reddit

u/log_2in r/haskell • Recommends

On “Trying to learn Haskell but simply not catching on. Need help.”

If you know some C++, this episode from Bartosz Milewski: [video is an absolute *must* see for someone learning Haskell. Also, check out his Haskell playlist, and be sure to look up C9 from Microsoft hosting Eric Meijer with an excellent intro to Haskell.
3View on Reddit