Getting Started with Statically Typed Programming in Python