The Python Podcast.__init__

Catching Up With Pyre, A Fast Type Checker For Python

Listen Later
Summary

Static typing versus dynamic typing is one of the oldest debates in software development. In recent years a number of dynamic languages have worked toward a middle ground by adding support for type hints. Python’s type annotations have given rise to an ecosystem of tools that use that type information to validate the correctness of programs and help identify potential bugs. At Instagram they created the Pyre project with a focus on speed to allow for scaling to huge Python projects. In this episode Shannon Zhu discusses how it is implemented, how to use it in your development process, and how it compares to other type checkers in the Python ecosystem.

Announcements
  • Hello and welcome to Podcast.__init__, the podcast about Python’s role in data and science.
  • When you’re ready to launch your next app or want to try a project you hear about on the show, you’ll need somewhere to deploy it, so take a look at our friends over at Linode. With their managed Kubernetes platform it’s easy to get started with the next generation of deployment and scaling, powered by the battle tested Linode platform, including simple pricing, node balancers, 40Gbit networking, dedicated CPU and GPU instances, and worldwide data centers. And now you can launch a managed MySQL, Postgres, or Mongo database cluster in minutes to keep your critical data safe with automated backups and failover. Go to pythonpodcast.com/linode and get a $100 credit to try out a Kubernetes cluster of your own. And don’t forget to thank them for their continued support of this show!
  • Your host as usual is Tobias Macey and today I’m interviewing Shannon Zhu about Pyre, a type checker for Python 3 built from the ground up to support gradual typing and deliver responsive incremental checks
    • Interview
    • Introductions
    • How did you get introduced to Python?
    • Can you describe what Pyre is and the story behind it?
    • There have been a number of tools created to support various aspects of typing for Python. How would you describe the various goals that they support and how Pyre fits in that ecosystem?
    • What are the core goals and notable features of Pyre?
    • Can you describe how Pyre is implemented?
      • How have the design and goals of the project changed/evolved since you started working on it?
      • What are the different ways that Pyre is used in the development workflow for a team or individual?
      • What are some of the challenges/roadblocks that people run into when adopting type definitions in their Python projects?
      • How has the evolution of type annotations and overall support for them affected your work on Pyre?
      • As someone who is working closely with type systems, what are the strongest aspects of Python’s implementation and opportunities for improvement?
      • What are the most interesting, innovative, or unexpected ways that you have seen Pyre used?
      • What are the most interesting, unexpected, or challenging lessons that you have learned while working on Pyre?
      • When is Pyre the wrong choice?
      • What do you have planned for the future of Pyre?
        • Keep In Touch
        • shannonzhu on GitHub
          • Picks
          • Tobias
            • Lord Of The Rings: The Rings of Power on Amazon Video
            • Shannon
              • King’s Dilemma board game
                • Closing Announcements
                • Thank you for listening! Don’t forget to check out our other shows. The Data Engineering Podcast covers the latest on modern data management. The Machine Learning Podcast helps you go from idea to production with machine learning.
                • Visit the site to subscribe to the show, sign up for the mailing list, and read the show notes.
                • If you’ve learned something or tried out a project from the show then tell us about it! Email [email protected]) with your story.
                • To help other people find the show please leave a review on iTunes and tell your friends and co-workers
                  • Links
                  • PYre
                  • MyPy
                    • Podcast Episode
                    • PyRight
                    • PyType
                    • MonkeyType
                      • Podcast Episode
                      • Java
                      • C
                      • PEP 484
                      • Flow
                      • Hack
                      • Continuous Integration
                      • OCaml
                      • PEP 675 – Arbitrary literal strings
                      • Gradual Typing
                      • AST == Abstract Syntax Tree
                      • Language Server Protocol
                      • Tensor
                      • Type Arithmetic
                      • PyCon: Securing Code With The Python Type System
                      • PyCon: Type Checked Python In The Real World
                      • PyCon: Łukasz Lange 2022 Keynote

                        • The intro and outro music is from Requiem for a Fish The Freak Fandango Orchestra / CC BY-SA

                        ...more
                        View all episodesView all episodes
                        Download on the App Store
                        The Python Podcast.__init__By Tobias Macey
                        • 4.4
                        • 4.4
                        • 4.4
                        • 4.4
                        • 4.4

                        4.4

                        100 ratings

                        More shows like The Python Podcast.__init__

                        View all
                        Freakonomics Radio by Freakonomics Radio + Stitcher

                        Freakonomics Radio

                        32,012 Listeners

                        Odd Lots by Bloomberg

                        Odd Lots

                        1,943 Listeners

                        The Changelog: Software Development, Open Source by Changelog Media

                        The Changelog: Software Development, Open Source

                        289 Listeners

                        Data Skeptic by Kyle Polich

                        Data Skeptic

                        479 Listeners

                        Software Engineering Daily by Software Engineering Daily

                        Software Engineering Daily

                        626 Listeners

                        Talk Python To Me by Michael Kennedy

                        Talk Python To Me

                        585 Listeners

                        Super Data Science: ML & AI Podcast with Jon Krohn by Jon Krohn

                        Super Data Science: ML & AI Podcast with Jon Krohn

                        302 Listeners

                        Python Bytes by Michael Kennedy and Brian Okken

                        Python Bytes

                        215 Listeners

                        Syntax - Tasty Web Development Treats by Wes Bos & Scott Tolinski - Full Stack JavaScript Web Developers

                        Syntax - Tasty Web Development Treats

                        987 Listeners

                        DataFramed by DataCamp

                        DataFramed

                        269 Listeners

                        Practical AI by Practical AI LLC

                        Practical AI

                        209 Listeners

                        The Intelligence from The Economist by The Economist

                        The Intelligence from The Economist

                        2,554 Listeners

                        The Real Python Podcast by Real Python

                        The Real Python Podcast

                        142 Listeners

                        声动早咖啡 by 声动活泼

                        声动早咖啡

                        293 Listeners

                        The Foreign Affairs Interview by Foreign Affairs Magazine

                        The Foreign Affairs Interview

                        446 Listeners