Applied Haskell talks at Formation

Schedule:

• 6pm Check-in, chat, food & drinks
• 6:45 pm Greg Pfeil - The Monoiad
• 7:45 pm Tim Humphries - Haskell's Bear Traps

Speakers:

• Greg Pfeil (https://twitter.com/sellout), SWE at Formation

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 code, some niche areas of the language, and category theory.

We’ll start with the venerable Monoid, explain in detail what it is and the many places it appears. Then we’ll generalize it in various directions, to see where else those same ideas appear. We’ll also see how monoids combine to form richer structures like lattices, rings, and duoids. And, as is traditional with an epic, we’ll return home to the monoid itself, and see what it could be built upon, raising questions about what, if anything, is actually fundamental.

This talk is grounded in practice, with some digressions into “what could be”. The talk will touch on category theory and some lesser-known language features and extensions that help tie all the ideas together.

• Tim Humphries (https://twitter.com/thumphriees), SRE at Formation

Haskell is great for many tasks and can be really effective in the
small and large. However, surviving industrial practitioners have
learned to dodge a series of arcane hazards ranging from annoying to
catastrophic. In this talk, I will enumerate as many of them as I can,
until I run out of time.