PyCon UK 2025

Kyle Into

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.


Session

09-19
15:00
25min
Pyrefly: A Scalable Type Checker for a Unified IDE Experience
Kyle Into

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.

Main stage