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

Live Coding — Session 4.1: Regular and Inverse Semigroups

Edward Kmett

Watch on YouTube · 163 minutes

We build up the notion of regular and inverse semigroups in Haskell and start to explore some of their extra structure, then dive a little into incremental parsing, a particularly pragmatic problem domain where they arise more often than you'd think. -- Watch live at https://www.twitch.tv/ekmett