El primer verificador de tipos para principiantes: Una aventura Python de 350 líneas

Este artículo describe la creación de un verificador de tipos básico para Python en solo 350 líneas de código. El autor guía al lector a través del proceso, desde el análisis del código Python y la búsqueda de anotaciones de tipos hasta la verificación de compatibilidad de tipos, el manejo de llamadas a funciones y tipos de retorno, el soporte para listas, diccionarios y tipos de unión, y la implementación de la reducción de tipos. Si bien es limitado en alcance, el verificador de tipos resultante detecta con éxito varios errores de tipos en código Python del mundo real, proporcionando un ejemplo claro y accesible de cómo funcionan los verificadores de tipos.