Live Coding — Session 3: Authenticated Computation
Edward Kmett
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/gpads.pdf
Bob Atkey's Library: https://bentnib.org/posts/2016-04-12-authenticated-data-structures-as-a-library.html
Code from the stream: https://github.com/ekmett/auth -- Watch live at https://www.twitch.tv/ekmett