https://sohabr.net/habr/post/309858/

В наследнике можно делать «строже» возвращаемый тип (то есть запрещать nullable), а параметр наоборот расширять до nullable, НО не наоборот!

У всех Nullable — это отдельный алгебраический тип, а в PHP это надтип своего типа-параметра. Ну вообще пушка!

Поддержка модификаторов видимости для констант класса

Когда-нибудь в PHP реализуют примитивную систему контроля доступа уровня C++. Когда-нибудь.

Ловить исключения можно объединяя несколько типов исключений в один блок

У Мацумото подсмотрели? Может, не стоит тащить в язык все говно, которое видишь, и уже как-то решить, вы за типы или за уток?

Добавлен новый псевдо-тип: «iterable»

В PHP с контейнерами было все настолько плохо?

Вот, блин, я как профессионал понимаю, что мне нужно это говно изучить, чтобы оставаться профессионалом, но когда я смотрю на вот это всё, мне хочется сменить профессию.