Haskell Live Coding Session 5 2 Propagators

Summary

An introduction to the "Art of the Recorded on Nov 18, 2015 meetup.com/Boston- Back from Iceland, where I managed to get more done on guanxi. Most of this stream is devoted to describing the changes made ... This is a review of the last few streams, where we go through what it is that we've managed to build during my obsession with ... Picking up from where we left off last stream ("Back from ICFP") we continue forging on building a little library for relational ... In which we (mostly) convert to using a sum-of-product representation for terms to get a more efficient serialized form. -- Watch Continuing on from last time, we build the bulk of a library for lazily (de)serializing data with succinct data structures. -- Watch Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... Reviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of ...