The Monoiad: an epic poem on monoids – Greg Pfeil
Channel: Typelevel
Date: 2019-05-03

Monoids provide a vast landscape of concepts that we rely on in FP. Applicatives, monads, categories – all of them are monoids, as is much else. The epic takes us on a journey with this fundamental structure. We’ll move between everyday Scala, some niche areas of the language, and category theory.

* Material *

Slides: https://github.com/sellout/category-parametric-talk/tree/master/monoiad

* Event *

Typelevel Summit Philadelphia, April 2019: https://typelevel.org/event/2019-04-summit-philadelphia/

* About Speaker *

Greg Pfeil is a compiler writer and programming language designer. At this point they have written four recursion scheme libraries in three languages, with the goal of getting to half a recursion scheme library for all languages. Greg works at Formation, writing Haskell, using only the purest artisanal FP.

* Licensing *

This recording is licensed under CC-BY 4.0 (https://creativecommons.org/licenses/by/4.0/).