Using types to build reliable systems (github.com)

Some notes and source code from a recent talk looking at error handling approaches in typed functional languages like Scala and Haskell.