Haskell Live-Coding, Session 3, Authenticated Computation

Building a little library for authenticated computations in Haskell. This should give a sense of different approaches to API design in Haskell, and some of the trade-offs between fundeps, type families, backpack, data families, etc. as I pretty much wander between all of them while trying to come up with a nice API. Original Paper: http://www.cs.umd.edu/~mwh/papers/gpa... Bob Atkey's Library: https://bentnib.org/posts/2016-04-12-... Code from the stream: https://github.com/ekmett/auth -- Watch live at https://www.twitch.tv/ekmett