Talk Python To Me

#523: Pyrefly: Fast, IDE-friendly typing for Python


Listen Later

Python typing got fast enough to feel invisible. Pyrefly is a new, open source type checker and IDE language server from Meta, written in Rust, with a focus on instant feedback and real-world DX. Today, we will dig into what it is, why it exists, and how it plays with the rest of the typing ecosystem. We have Abby Mitchell, Danny Yang, and Kyle Into from Pyrefly here to dive into the project.

Episode sponsors

Sentry Error Monitoring, Code TALKPYTHON
Agntcy
Talk Python Courses

Links from the show
Abby Mitchell: linkedin.com
Danny Yang: linkedin.com
Kyle Into: linkedin.com

Pyrefly: pyrefly.org
Pyrefly Documentation: pyrefly.org
Pyrefly Installation Guide: pyrefly.org
Pyrefly IDE Guide: pyrefly.org
Pyrefly GitHub Repository: github.com
Pyrefly VS Code Extension: marketplace.visualstudio.com
Introducing Pyrefly: A New Type Checker and IDE Experience for Python: engineering.fb.com
Pyrefly on PyPI: pypi.org
InfoQ Coverage: Meta Pyrefly Python Typechecker: infoq.com
Pyrefly Discord Invite: discord.gg
Python Typing Conformance (GitHub): github.com
Typing Conformance Leaderboard (HTML Preview): htmlpreview.github.io

Watch this episode on YouTube: youtube.com
Episode #523 deep-dive: talkpython.fm/523
Episode transcripts: talkpython.fm

Theme Song: Developer Rap
🥁 Served in a Flask 🎸: talkpython.fm/flasksong

---== Don't be a stranger ==---
YouTube: youtube.com/@talkpython

Bluesky: @talkpython.fm
X.com: @talkpython

Michael on Bluesky: @mkennedy.codes
Michael on Mastodon: @[email protected]
Michael on X.com: @mkennedy
...more
View all episodesView all episodes
Download on the App Store

Talk Python To MeBy Michael Kennedy

  • 4.8
  • 4.8
  • 4.8
  • 4.8
  • 4.8

4.8

577 ratings


More shows like Talk Python To Me

View all
Software Engineering Radio by se-radio@computer.org

Software Engineering Radio

271 Listeners

The Changelog: Software Development, Open Source by Changelog Media

The Changelog: Software Development, Open Source

291 Listeners

Data Skeptic by Kyle Polich

Data Skeptic

476 Listeners

Software Engineering Daily by Software Engineering Daily

Software Engineering Daily

624 Listeners

Thoughtworks Technology Podcast by Thoughtworks

Thoughtworks Technology Podcast

41 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)

434 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

214 Listeners

Data Engineering Podcast by Tobias Macey

Data Engineering Podcast

146 Listeners

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

Syntax - Tasty Web Development Treats

987 Listeners

CoRecursive: Coding Stories by Adam Gordon Bell - Software Developer

CoRecursive: Coding Stories

188 Listeners

DataFramed by DataCamp

DataFramed

268 Listeners

Practical AI by Practical AI LLC

Practical AI

210 Listeners

The Stack Overflow Podcast by The Stack Overflow Podcast

The Stack Overflow Podcast

62 Listeners

The Real Python Podcast by Real Python

The Real Python Podcast

141 Listeners