In this post (series?), I'd like explore how to write a program in a type safe and testable way. I'm using Scala because it's the language I'm most proficient in; this would be prettier and less bo...