Chapter
The Evolution of Python’s Type Checking
1:39:24 - 1:50:06 (10:41)
The podcast discusses the evolution of Python's type checking through PEP484, how Facebook utilized the technology of their HHVM compiler, and the differences between a linter and static type checker.
Clips
The success of MyPy as the original static type checker for Python led Facebook, Google, and Microsoft to develop their own versions of the technology, despite the small team of maintainers behind MyPy.
1:39:24 - 1:43:41 (04:16)
Summary
The success of MyPy as the original static type checker for Python led Facebook, Google, and Microsoft to develop their own versions of the technology, despite the small team of maintainers behind MyPy.
ChapterThe Evolution of Python’s Type Checking
Episode#341 – Guido van Rossum: Python and the Future of Programming
PodcastLex Fridman Podcast
A linter can help catch bugs that may not be caught by compilers and ensure that code follows naming schemes.
1:43:41 - 1:47:41 (03:59)
Summary
A linter can help catch bugs that may not be caught by compilers and ensure that code follows naming schemes. The best use of a linter is to catch bugs and not to enforce team uniformity.
ChapterThe Evolution of Python’s Type Checking
Episode#341 – Guido van Rossum: Python and the Future of Programming
PodcastLex Fridman Podcast
The evolution of static type checkers in Python is consistently faster than the evolution of Python's annotation syntax.
1:47:41 - 1:50:06 (02:25)
Summary
The evolution of static type checkers in Python is consistently faster than the evolution of Python's annotation syntax. This has led to considerations of integrating static type checkers into the language, as well as exploring the possibilities of static type checkers discovering unspecified elements.