Comparativo de Type Checkers Python: Inference de Containers Vazios

Type checkers em Python lidam com containers vazios usando três estratégias distintas. A primeira infere `Any` (permissiva, mas insegura), a segunda infere de todos os usos (precisa, mas erros podem aparecer longe do bug), e a terceira infere do primeiro uso (mais acionável, mas às vezes incorreta). Cada abordagem busca equilibrar segurança de tipo, performance e clareza dos erros. O Pyrefly, por exemplo, adota a inference do primeiro uso para oferecer erros mais direcionáveis.