Haskell Live Coding Session 20 Relational Programming Part 5

Summary

Back from Iceland, where I managed to get more done on guanxi. Most of this stream is devoted to describing the changes made ... An introduction to the "Art of the Propagator." -- Watch Reviewing the last couple of days work on delimited continuations, and then implementing explicit sharing in the style of ... Picking up from where we left off last stream ("Back from ICFP") we continue forging on building a little library for Nominal sets are about dealing with name capture in a principled way, based on permutations of 'atoms' or 'names'. We spent the ... Broadcast in the middle of the week. We mostly spent this time exploring building an alternative form of generic 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 ... In this stream we went off and found a nicer format for succinct serialization without quite so many parentheses. Then we spent a ... Undoing a fair bit of the damage we did from the last couple of streams and trying to incorporate the things we did . -- Watch ...