inspiring a whole culture of software devoted to type checking Python during development. Python doesn’t check types at runtime—at least, not yet. But by taking advantage of a good type ...