Reaching 100% Type Coverage by Deleting Unannotated Code
· 4 min read

At Pyrefly, we've always believed that type coverage is one of the most important indicators of code quality. Over the past year, we've worked closely with teams across large Python codebases here at Meta - improving performance, tightening soundness, and making type checking a seamless part of everyday development.
But one question kept coming up: What would it take to reach 100% type coverage?
Today, we're excited to share a breakthrough.