2025-09-19 –, Main stage
Pyrefly is a Python type checker built to provide a fast type checking experience, enabling developers to write better code with confidence. It brings an IDE experience powering type hints and code navigation on a new type checking engine that scales to large codebases.
We started working on Pyrefly a little under a year ago, to make a type checker that stays fast on Meta's vast Python codebase, and can be the foundation for more than just checking of Python types.
In this session, you’ll see Pyrefly in action - we’ll dive into real-world examples showing how Pyrefly can supercharge your workflow, even if your code is 100% untyped!
Whether you’re a Python enthusiast or a seasoned engineer, you’ll walk away with practical tips to start using Pyrefly in your own projects and elevate your IDE experience.
Basic
Kyle is a Software Developer at Meta focused on developer tooling and static analysis. For the past three years he has worked to improve Python language services, now leading efforts on Python in the IDE. Kyle is passionate about building tools that make developers' lives easier, especially in dynamic languages like Python.