❓ Что нового в системе типов PHP 8?

Union types — параметр или возврат может быть нескольких типов: int|string. Nullable — это ?Type, то есть Type|null. Появились intersection types (8.1) A&B, тип never (8.1) для функций, которые не возвращают управление, и mixed для любого типа.
Строгая типизация включается через declare(strict_types=1), иначе скаляры приводятся неявно.
Типизация ловит ошибки раньше и документирует контракт без лишних комментариев.