Contribute Media
A thank you to everyone who makes this possible: Read More

Gradual Typing in Python

Translations: en


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 usage of function annotations introduced in Python 3.


Improve this page