Python Topology by Matthias Kramm Abstract An overview of deep static type checking and type inferencing with pytype.