Update 2013-09-22-the-importance-of-being-typed.md