Kukurbito
https://sohabr.net/habr/post/309858/
В наследнике можно делать «строже» возвращаемый тип (то есть запрещать nullable), а параметр наоборот расширять до nullable, НО не наоборот!
У всех Nullable — это отдельный алгебраический тип, а в PHP это надтип своего типа-параметра. Ну вообще пушка!
Поддержка модификаторов видимости для констант класса
Когда-нибудь в PHP реализуют примитивную систему контроля доступа уровня C++. Когда-нибудь.
Ловить исключения можно объединяя несколько типов исключений в один блок
У Мацумото подсмотрели? Может, не стоит тащить в язык все говно, которое видишь, и уже как-то решить, вы за типы или за уток?
Добавлен новый псевдо-тип: «iterable»
В PHP с контейнерами было все настолько плохо?
Вот, блин, я как профессионал понимаю, что мне нужно это говно изучить, чтобы оставаться профессионалом, но когда я смотрю на вот это всё, мне хочется сменить профессию.
