Los tipos unión permiten que una variable contenga valores de diferentes tipos: int | text | bool. El estrechamiento de tipos permite que el compilador sepa que, después de una comprobación if value is int, el valor es definitivamente un int dentro de esa rama. Juntos, manejan los casos donde los datos del mundo real no encajan en un único tipo estático.
Esta es la Parte 32 de la serie "Cómo construimos FLIN".