Description
Muchos trabajos y papers intentaron realizar inferencia de tipos en Python. Siendo un lenguaje dinámico, con un uso pervasivo de Duck Typing, se hace difícil. Intentaré exponer en esta charla mi experiencia en el tema, en particular, con inferencia "en tiempo de importación", un concepto relativamente nuevo, relacionado con compilación JIT, pero no del todo lo mismo.