The Python Podcast.__init__

Mypy with David Fisher and Greg Price


Listen Later

Summary

As Python developers we are fond of the dynamic nature of the language. Sometimes, though, it can get a bit too dynamic and that’s where having some type information would come in handy. Mypy is a project that aims to add that missing level of detail to function and variable definitions so that you don’t have to go hunting 5 levels deep in the stack to understand what shape that data structure is supposed to be. This week we spoke with David Fisher and Greg Price about their work on Mypy and its use within Dropbox and the broader community. They explained how it got started, how it works under the covers, and why you should consider adding it to your projects.

Brief Introduction
  • Hello and welcome to Podcast.__init__, the podcast about Python and the people who make it great.
  • I would like to thank everyone who has donated to the show. Your contributions help us make the show sustainable. For details on how to support the show you can visit our site at pythonpodcast.com
  • Linode is sponsoring us this week. Check them out at linode.com/podcastinit and get a $20 credit to try out their fast and reliable Linux virtual servers for your next project
  • We are also sponsored by Sentry this week. Stop hoping your users will report bugs. Sentry’s real-time tracking gives you insight into production deployments and information to reproduce and fix crashes. Check them out at getsentry.com
  • Visit our site to subscribe to our show, sign up for our newsletter, read the show notes, and get in touch.
  • To help other people find the show you can leave a review on iTunes, or Google Play Music, and tell your friends and co-workers
  • Join our community! Visit discourse.pythonpodcast.com for your opportunity to find out about upcoming guests, suggest questions, and propose show ideas.
  • Your hosts as usual are Tobias Macey and Chris Patti
  • Today we’re interviewing David Fisher and Greg Price about Mypy, a library for adding optional static types to your Python code.
  • es

    Interview with David Fisher and Greg Price
    • Introductions
    • How did you get introduced to Python? – Chris
    • Can you explain a bit about what Mypy is and its origin story? – Tobias
    • What are the benefits of using Mypy for both new and existing projects? – Tobias
    • How does the Mypy compilation step work? – Tobias
    • What are the biggest technical challenges in implementing Mypy? – Chris
    • Are there any limitations imposed by the syntax of Python that prevented you from implementing any features or syntax that you would have liked to include in Mypy? – Tobias
    • In Guido’s keynote from this year’s PyCon he mentioned some tentative plans for adding variable type declarations to the Python syntax in one of the next major releases. How much of that idea was inspired by Mypy? – Tobias
    • Type theory is a large and complex problem domain. Can you explain where Mypy falls in this space? – Tobias
    • Which language(s) had the biggest influence on the particular syntax and semantics used in Mypy? – Tobias
    • What kinds of type definitions and guarantees can be encoded using Mypy? – Tobias
    • Can you talk a bit about user defined types as implemented in Mypy? – Chris
    • How has the inclusion of the typing module in the Python standard libary influenced the evolution of Mypy? – Tobias
    • Did the inclusion of multiple inheritance add any implementation complexity to Mypy? – Chris
    • Do you know of any formal studies that have been performed to research the ergonomics or efficiency gains of static or gradual type systems? – Tobias
    • What does the future roadmap for Mypy look like? – Tobias
    • Keep In Touch
      • David
        • GitHub

        • Greg

          • web page
          • GitHub

          • $ pip3 install mypy-lang

            Bug reports, feature requests, questions welcome on issue tracker: github.com/python/mypy

            Picks
            • Tobias
              • Functional Geekery – Andreas Stefik episode about studies performed on the human factors of development
              • Soft Skills Engineering Podcast

              • Chris

                • Grimm Artisenal Ales Lucky Cloud
                • jq – json swiss army knife

                • David

                  • fzf – a fuzzy finder
                  • Thinking, Fast And Slow by Daniel Kahneman
                  • Ringworld

                  • Greg

                    • On Proof and Progress in Mathematics, essay by Bill Thurston
                    • Axiomatic by Greg Egan

                    • Links
                      • GitHub repo, and CONTRIBUTING file
                      • PEP 484
                      • PyCon 2016 workshop slides
                      • Typeshed shared repo for stubs
                      • Other tools (PyCharm, pylint, pytype, …) using PEP 484 types
                      • 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
                        The Changelog: Software Development, Open Source by Changelog Media

                        The Changelog: Software Development, Open Source

                        283 Listeners

                        Data Skeptic by Kyle Polich

                        Data Skeptic

                        481 Listeners

                        Chat With Traders by Tessa Dao

                        Chat With Traders

                        1,979 Listeners

                        Talk Python To Me by Michael Kennedy

                        Talk Python To Me

                        590 Listeners

                        Software Engineering Daily by Software Engineering Daily

                        Software Engineering Daily

                        622 Listeners

                        The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence) by Sam Charrington

                        The TWIML AI Podcast (formerly This Week in Machine Learning & Artificial Intelligence)

                        444 Listeners

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

                        Super Data Science: ML & AI Podcast with Jon Krohn

                        297 Listeners

                        Python Bytes by Michael Kennedy and Brian Okken

                        Python Bytes

                        215 Listeners

                        Data Engineering Podcast by Tobias Macey

                        Data Engineering Podcast

                        141 Listeners

                        Machine Learning Guide by OCDevel

                        Machine Learning Guide

                        764 Listeners

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

                        Syntax - Tasty Web Development Treats

                        986 Listeners

                        DataFramed by DataCamp

                        DataFramed

                        267 Listeners

                        Practical AI by Practical AI LLC

                        Practical AI

                        192 Listeners

                        The Real Python Podcast by Real Python

                        The Real Python Podcast

                        139 Listeners

                        Hard Fork by The New York Times

                        Hard Fork

                        5,431 Listeners