How to Write a Static Type Checker

4min Snip

00:00

Play full episode

Summary

Transcript

Episode notes

A linter is a thing that runs through the code continuously pre-processing to find issues based on style documentation. Linters often do static analysis where they try to point out things that are likely mistakes but not incorrect according to the language specification. Facebook developed Pyre which was written in OCaml which worked well with Facebook development workflow. Google developed something they called pie type which was actually itself written in Python and it was meant to sort of fit well in their static type checking needs at Google's gigantic monorepo.

Guido van Rossum is the creator of Python programming language. Please support this podcast by checking out our sponsors:
– GiveDirectly: https://givedirectly.org/lex to get gift matched up to $1000
– Eight Sleep: https://www.eightsleep.com/lex to get special savings
– Fundrise: https://fundrise.com/lex
– InsideTracker: https://insidetracker.com/lex to get 20% off
– Athletic Greens: https://athleticgreens.com/lex to get 1 month of fish oil

EPISODE LINKS:
Guido’s Twitter: https://twitter.com/gvanrossum
Guido’s Website: https://gvanrossum.github.io/
Python’s Website: https://python.org

PODCAST INFO:
Podcast website: https://lexfridman.com/podcast
Apple Podcasts: https://apple.co/2lwqZIr
Spotify: https://spoti.fi/2nEwCF8
RSS: https://lexfridman.com/feed/podcast/
YouTube Full Episodes: https://youtube.com/lexfridman
YouTube Clips: https://youtube.com/lexclips

SUPPORT & CONNECT:
– Check out the sponsors above, it’s the best way to support this podcast
– Support on Patreon: https://www.patreon.com/lexfridman
– Twitter: https://twitter.com/lexfridman
– Instagram: https://www.instagram.com/lexfridman
– LinkedIn: https://www.linkedin.com/in/lexfridman
– Facebook: https://www.facebook.com/lexfridman
– Medium: https://medium.com/@lexfridman

OUTLINE:
Here’s the timestamps for the episode. On some podcast players you should be able to click the timestamp to jump to that time.
(00:00) – Introduction
(07:26) – CPython
(12:38) – Code readability
(17:00) – Indentation
(33:36) – Bugs
(45:04) – Programming fads
(1:00:15) – Speed of Python 3.11
(1:25:09) – Type hinting
(1:30:27) – mypy
(1:35:43) – TypeScript vs JavaScript
(1:51:42) – Best IDE for Python
(2:01:43) – Parallelism
(2:19:36) – Global Interpreter Lock (GIL)
(2:29:14) – Python 4.0
(2:41:31) – Machine learning
(2:51:13) – Benevolent Dictator for Life (BDFL)
(3:02:49) – Advice for beginners
(3:09:21) – GitHub Copilot
(3:12:47) – Future of Python