Episode 52
052: Category Theory in Elm with Joël Quenneville
Joël Quenneville joins us to help us distill down Category Theory patterns and explore what value it brings us as Elm developers.
March 14, 20221h 19m
Audio is streamed directly from the publisher (cdn.simplecast.com) as published in their RSS feed. Play Podcasts does not host this file. Rights-holders can request removal through the copyright & takedown page.
Show Notes
- Joël Quenneville (Twitter)
- Elm's Universal Pattern episode
List.concatMapis the same pattern asandThenunder a different nameandThen identitycan be used to flatten something- Dillon's Combinators article
- Martin Janiczek's
elm-list-cartesianpackage gives two validmap2implementions forList - Monoid - need a way of having something empty, and way to combine two things - for example addition for numbers starting with 0
- Jeroen's
elm-review-simplifypackage
More of Joël's distillation of category theory ideas:
- Running out of maps (applicatives)
- The Mechanics of Maybe (taking maybe apart and putting it back together)
- Two ways of looking at map functions (functors)
- Elm's universal pattern (applicatives)
- Inverting a binary tree (folding, catamorphisms)
- Joël's directory of blog posts on the ThoughtBot blog