La propuesta de "Union Types 2.0" obtiene visto bueno para PHP 8.0

¿Qué propone Union Types 2.0 RFC?

Las declaraciones de tipo en PHP permiten especificar el tipo de parámetros y valores de retorno por una función. Aunque para la mayoría de las funciones, los parámetros aceptables y los posibles valores de retorno serán de un solo tipo, hay casos en los que pueden ser de varios tipos. Actualmente, PHP admite dos tipos de estos casos especiales. Uno es los tipos nulos (nullable types) que puede especificar utilizando la sintaxis “Type” para marcar un parámetro o valor de retorno como nulo. Esto significa que, además del tipo especificado, NULL también se puede pasar como argumento o valor de retorno. Otro es 'array' o 'Traversable' que puede especificar utilizando el tipo especial iterable.

Union Types 2.0 RFC propone agregar soporte para tipos de unión arbitraria, que se puede especificar utilizando la sintaxis T1 | T2 | ... La compatibilidad con los tipos de Unión permitirá a los desarrolladores mover información que hoy se declara solamente en ’phpdoc' a las firmas de funciones. Otras ventajas de los tipos de unión arbitraria incluyen la detección temprana de errores y menos código repetitivo en comparación con 'phpdoc'. Esto también garantizará que el tipo se verifique durante la herencia y esté disponible a través de Reflection.
Este RFC no contiene ningún cambio incompatible con versiones anteriores. Sin embargo, el código basado en ReflectionType existente deberá ajustarse para admitir el procesamiento del código que utiliza tipos de unión.

Lea el artículo completo en https://hub.packtpub.com