Gradual typing in dynamic languages is becoming popular. The implementations for Python, Lua, Clojure and Racket show how a dynamic language can be retrofitted with static type checking. This makes possible to combine the flexibility of these languages with the guarantees of a type checker and can be done in a gradual, non-invasive manner. In this talk we’ll understand what gradual typing is and the benefits it yields, explore the existing implementations for Python and talk about Guido’s plans for the usag
