Python introdujo una forma más sencilla de manejar los tipos unión a partir de la versión 3.10, utilizando el operador `|`.
Antes de Python 3.10, las uniones de tipos se representaban usando `Union` del módulo `typing`. Por ejemplo:
from typing import Union
def procesar_valor(valor: Union[int, float]) -> None:
print(valor)
Esto indica que `valor` puede ser un `int` o un `float`. Sin embargo, esta sintaxis fue simplificada en Python 3.10 con el uso del operador `|`, lo que mejora la legibilidad:
def procesar_valor(valor: int | float) -> None:
print(valor)
Ambas formas son equivalentes, pero la nueva es más concisa y fácil de leer.
Ejemplo práctico:
def manejar_respuesta(respuesta: str | None) -> str:
if respuesta is None:
return "No hay respuesta"
return respuesta
TypeScript, un superconjunto de JavaScript, también soporta tipos unión, permitiendo que una variable pueda tener más de un tipo. Al igual que Python, utiliza un símbolo para definir uniones, en este caso también el `|`:
function procesarValor(valor: number | string): void {
console.log(valor);
}
TypeScript es un lenguaje estáticamente tipado, lo que significa que el compilador verifica los tipos en tiempo de compilación. Si una operación no es válida para uno de los tipos en la unión, el compilador lanzará un error. Python, por otro lado, realiza la verificación de tipos solo cuando se ejecuta (en tiempo de ejecución).
Intersecciones: TypeScript tiene algo llamado tipos intersección (`&`), donde un valor debe cumplir con todas las condiciones de varios tipos al mismo tiempo, lo que no existe en Python.
function combinar(valores: string | number[]): number {
if (typeof valores === 'string') {
return valores.length;
} else {
return valores.reduce((a, b) => a + b, 0);
}
}
En este caso, `valores` puede ser una cadena o un arreglo de números, y se maneja cada tipo de forma separada.
El concepto de tipos unión es fundamental para manejar situaciones en las que un valor puede ser de varios tipos. En Python, con la introducción del operador `|` en la versión 3.10, el manejo de uniones se ha vuelto más simple y elegante.
Los tipos unión son una excelente herramienta en lenguajes con tipado opcional o estático, permitiendo crear código más robusto y manejable cuando se espera que los datos puedan variar en su forma.
