The Comonad.Readertypes, (co)monads, substructural logic

Monoidal Parsing

Edward Kmett

Watch on YouTube · 92 minutes

October Boston Haskell Meetup @ ThoughBot

Well known Haskell guru Edward Kmett speaking about parsing programs (with Haskell-like syntax) in parallel and incrementally by making some small changes to the grammar. Talk provides a nice whirlwind tour of semigroup actions, inverse semigroups and a bunch of less well-known bits of algebra that have a lot of applications.

https://www.meetup.com/Boston-Haskell/events/244136649/