An update on pytype TL;DR: The last supported Python version for Pytype will be 3.12. We are still very actively interested in the space of Python type checking, but shifting our investments towards new ideas and different frameworks. Pytype's development began in 2012 to meet Google developers' demand for compile-time checking. Pytype started with using type inference and interface files, and then switched to inline annotations (while retaining the inference engine) after the acceptance of PEP ...