Haskell Live Coding Session 9 Succinct Serialization Part 1

Summary

Continuing on from last time, we build the bulk of a library for lazily (de) Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ... In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient In this stream we went off and found a nicer format for Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic Building a library for commutative applicative functors and general chat about the What Have We Learned about Dependently Typed Building a little library for authenticated computations in This is a short stream in which we mostly flailed around trying to understand why the division between"bound" and "free" variables ...