Haskell Live Coding Session 18 Nominal Sets

Summary

In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic Working towards a little relational Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... Sometimes, for example when working with type-level Building a little library for authenticated computations in Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch We build up the notion of regular and inverse semigroups in An introduction to the "Art of the Propagator." -- Watch Building a library for commutative applicative functors and general chat about the Working on the IDE integration for the PureScript