Using types to build reliable systems

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