Read more OfficialLlamaOct 17
Meta OfficialWebLearn & DoResources People Podcasts
All NewsTradeVideosVoicesCommunityResearchPodcasts
Subvolts take Meta engineers detail building a faster Python type checker in Rust, tackling complex scaling challenges. May 15, 2025
For you
Developers
Learn about building high-performance developer tools and the benefits of Rust for Python projects.
Business
Understand how Meta invests in developer productivity to improve software quality and development speed.
Hype note
3/5Notable

This episode features engineers discussing a significant open-source developer tool built by Meta, detailing its technical advancements.

Meta Tech Podcast
Meta Tech Podcast · Ep 75 Episode Official · Meta

75: Open-sourcing Pyrefly - A faster Python type checker written in Rust

32 min Interview Hosts: Pascal Harris
0:0032:22

Audio streams from Meta. Your place is remembered on this device.

Go to the podcast episode page
Open Meta Tech Podcast in
Apple PodcastsOvercastPocket Casts
Follow the show
Apple PodcastsSpotifyOvercastPocket CastsAny Android app

From Subvolts

Summary and analysis by Subvolts editorial, AI-assisted.

Summary

In episode 75 of the Meta Tech Podcast, host Pascal Harris talks with Maggie, Rebecca, and Neil about Pyrefly, a new open-source Python type checker written in Rust. They discuss the reasons for rewriting the previous tool, Pyre, and what makes Pyrefly faster, especially for large codebases. The conversation covers the complexities of incremental type checking and the benefits of using Rust for performance and concurrency.

Explained simply

This episode explains how Meta built a super-fast tool to check Python code, called Pyrefly. They rewrote an older tool in a different language, Rust, to make it work much better, especially for huge projects. This helps developers catch errors more easily.

Why listen

This episode offers insights into the engineering decisions behind building high-performance developer tools. Listeners will learn about the trade-offs in choosing languages like Rust for critical infrastructure and the challenges of scaling type checking for massive code repositories. It's relevant for developers working with Python, those interested in Rust's capabilities, and anyone tracking Meta's contributions to the open-source ecosystem, particularly in developer productivity tools.

On the mic
  • HostPascal Harris
  • GuestMaggie
  • GuestRebecca
  • GuestNeilguest
About
MetaDeveloper ToolsCoding
Key facts
  • Episode Title: 75: Open-sourcing Pyrefly - A faster Python type checker written in Rust
  • Show: Meta Tech Podcast
  • Length: 32 minutes
  • New Tool: Pyrefly
  • Previous Tool: Pyre
  • Language Used: Rust
Show notes from Meta

Pyrefly is a faster, open-source Python type checker written in Rust, succeeding Pyre. But what prompted the rewrite and what besides the language choice ended up making it faster? Host Pascal talks to Maggie, Rebecca and returning guest Neil about the unexpected complexities of building an incremental type checker that scales to mono repositories in episode 75.

Got feedback? Send it to us on Threads (https://threads.net/@metatechpod), Instagram (https://instagram.com/metatechpod) and don't forget to follow our host Pascal (https://mastodon.social/@passy, https://threads.net/@passy_). Fancy working with us? Check out https://www.metacareers.com/.

Links

Timestamps

  • Intro 0:06

  • Rebecca Introduction 1:45

  • Maggie Introduction 2:45

  • Neil (Re-)Introduction 3:12

  • Team Mission 3:56

  • History of Typing in Python 4:29

  • The State of Typed Python at Meta 5:32

  • fbcode 6:02

  • Original Motivation for building Pyre 6:19

  • Justifying the Rewrite 7:48

  • Pyrefly vs the Rest 9:41

  • Why Rust? 10:45

  • Fearless Concurrency 12:02

  • Why is it faster? 12:37

  • Python community and Rust 14:57

  • Pyrefly wasm crate 15:46

  • Upgrade experience 17:34

  • Type checking differences 19:12

  • IDE experience 21:31

  • State of Pyrefly at Meta 22:27

  • Being open-source-first 23:36

  • Open-source challenges 25:06

  • Unexpected challenges 26:39

  • Outro 31:05

Jargon decoded
type checker
Maggie, Rebecca, Neil
A tool that checks code to make sure data types are used correctly, helping prevent errors.
Rust
Maggie, Rebecca, Neil
A modern programming language known for speed and safety, often used for system-level software.
incremental type checker
Maggie, Rebecca, Neil
A tool that only rechecks parts of code that have changed, making it faster for large projects.
mono repositories
Maggie, Rebecca, Neil
A software development strategy where all code for many projects is stored in a single large repository.
Published
Show
Meta Tech Podcast · Meta
Length
32 min
Companies
Meta
Products
Pyrefly, Pyre, Ruff
Summary by
Subvolts, using an AI model (how we work). Spotted a mistake? Tell us.
#Developer Tools#Coding

Best of Meta Tech Podcast

Questions people ask

What is Pyrefly and why was it created?
Pyrefly is a faster, open-source Python type checker written in Rust, succeeding Pyre. It was created to address performance and scaling issues with the previous tool.
Why did Meta choose Rust for Pyrefly?
Rust was chosen for its performance and fearless concurrency, which are beneficial for building efficient and reliable developer tools like type checkers.

Page generated Oct 19, 2026. Summaries are Subvolts' own; the audio, artwork and notes belong to Meta.