🧩 Qué significa que un type checker sea conforme al typing spec

#

Este artículo compara type checkers de Python mirando cuánto respetan la especificación formal de tipado.

Lo interesante

#

• 📐 Usa un suite de conformidad
• ✅ Mide falsos positivos y falsos negativos
• ⚖️ Conformidad no es lo mismo que buena experiencia de desarrollo
• 🔍 También importan inferencia, performance e IDE integration

La conclusión es útil: no alcanza con “funcionar”, también importa qué tan bien sigue las reglas del lenguaje.

🪄 Explicación en pocas palabras

#

Pensá en un corrector ortográfico.

No solo importa que encuentre errores: también importa que no marque cosas correctas como si estuvieran mal.

👉 Con los type checkers pasa lo mismo.

Más información en el link 👇

Python Type Checker Comparison: Typing Spec Conformance | Pyrefly

Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, …

pyrefly.org ↗