Introduction to type systems and Go at Startup Edmonton Hack Day (mostly live coding, but here are a few slides).