Let's do Chapter 22 of Bartosz Milewski's Category Theory for Programmers

SF Types, Theorems, and Programming Languages
SF Types, Theorems, and Programming Languages
Public group

Workday

160 Spear St., Ste. #1700 · San Francisco, CA

How to find us

Building reception will direct you to the 17th floor. You will need to sign in and sign an NDA. Your contact at Workday is Sergei Winitzki.

Location image of event venue

Details

Monads. We all know and love them, right? Er, maybe...

Chapters 20 and 21 describe monads from a programmer's point of view. We should read these chapters for review, but I expect there won't be much new material in them for most of us. Chapter 22 looks at monads in terms of category theory, so that's what we'll concentrate on.

Let's read the chapter and do the exercises, then get together for our usual lively and occasionally on-topic discussion. We'll try to get properly underway around 6:15.