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