Introducing TY: A New Python Type Checker

This chapter explores the development and functionalities of TY, a Python type checker designed by a small team. It covers its evolution from early challenges to its upcoming beta release, focusing on improvements that facilitate gradual type safety adoption in existing codebases.