#[<T>] Дженерики через атрибуты

Роман Пронский в своём блоге предлагает реализовать стираемые дженерики путём расширения синтаксиса атрибутов.

Ход мысли такой. Сейчас мы описываем общие типы для Psalm и PHPStan в phpdoc-ах, то есть, по сути, и используем стираемые дженерики, только с не особо стандартизованным синтаксисом и в комментариях, КАРЛ. А ещё у нас есть атрибуты — синтаксис в PHP, предназначенный для метаинформации. Так почему бы нам не объединить две эти вещи? Так как атрибуты в текущем виде слабо подходят для типизации, Рома предлагает расширить их синтаксис, в частности, разрешить ставить атрибуты над выражениями и перед типом возвращаемого значения.

https://pronskiy.com/blog/generics-via-attributes-in-php/

Я считаю, что это интересный альтернативный взгляд на дженерики в PHP, но с ним связано несколько проблем:

1. Нарушение принципа единой отвественности для атрибутов. Мы либо получим неоднозначность в определении понятия "атрибут", либо просто дженерики с похожим синтаксисом.

2. Инстанциированные атрибуты можно получить только через рефлексию. Рефлексия — это рантайм и автолоадинг. Статанализ же в идеале вообще не должен запускать анализируемый код. Именно поэтому появились такие проекты, как PHP Parser и Better Reflection. Если же обновлённые атрибуты будут использоваться только как синтаксис, то нет смысла их называть атрибутами.

3. Приведенную в статье декларацию атрибута-дженерика над выражением вообще не получится отрефлексировать, поскольку для выражений по определению невозможна рефлексия. Из-за этого синтаксис дженериков может быть реализован только на уровне языка.

Получается, что замаскированные под атрибуты дженерики технически не смогут ими быть. Ну а в таком случае проще реализовать стираемые дженерики с привычным синтаксисом array<string, object>. Если же по каким-то техническим причинам необходимо оборачивать декларации в #[], то пусть это просто будут дженерики с таким синтаксисом.

Что касается самой концепции стираемых дженериков, я её однозначно поддерживаю. Да, такой подход требует наличия внешнего анализатора, но взамен даёт стандартизированный синтаксис, нативный парсинг кода с дженериками и популяризацию обобщённого программирования среди PHP-разработчиков.

Я очень рад, что Рома в очередной раз подогрел дискуссию вокруг дженериков. Любой подобный движ полезен для сообщества и приближает нас к результату.

🔴 PHP-линч #2

Сегодня вечером на канале PHP Point пройдёт второй линч!
Жду вас на час позже, в 19 МСК, с заготовленными для ревью библиотеками и проектами.

https://youtu.be/Hi167txLIyk

🔴 PHP-линч #3

https://youtu.be/NODVKOhejEM

Варварский генератор

Недавно с коллегами обсудили, что, строго говоря, генератор не соблюдает принцип подстановки Барбары Лисков. Он кидает исключение при попытке перемотки после начала обхода и тем самым нарушает контракт Iterable, где такое поведение не предусмотрено.

Понятно, почему конструктивно так сделали. Тем не менее передача генератора в функцию, которая принимает Traversable или iterable, приводит к WTF казусу, если она вполне законно пытается обойти аргумент больше одного раза.

Если очень хочется, чтобы инстанс генератора отрабатывал многократно, и при этом вы уверены, что это не приведёт к ненужным побочным эффектам, можно обернуть функцию, порождающую генератор, в RewindableGenerator:

/**
 * @template TKey
 * @template TValue
 * @implements IteratorAggregate<TKey, TValue>
 */
final class RewindableGenerator implements IteratorAggregate
{
    /**
     * @param callable(): Generator<TKey, TValue> $generatorFunction
     */
    public function __construct(private $generatorFunction) {}

    public function getIterator(): Traversable
    {
        return ($this->generatorFunction)();
    }
}

Вот как это будет работать: https://3v4l.org/46Evq.

Пишите в комментариях, где ещё PHP нарушает LSP.

Сегодня PHP-линч, к сожалению, отменяется. Если буду успевать, встретимся на неделе. Если нет, то в следующую среду. Хорошего вечера!

Язык программирования PHP: рейтинг, сферы применения, прогнозы экспертов

Поделился своим мнением о судьбе PHP в блоге Хекслета.

https://ru.hexlet.io/blog/posts/zachem-izuchat-php-reyting-perspektivy-sfery-primeneniya

PHP Russia 2022: ID-баттл: UUID vs автоинкремент

Пыхари, уже через полчаса я выступлю на PHP Russia, жду не дождусь своей очереди!

На сессии в частности расскажу, что существует 8 версий UUID, а не 5, и среди них есть куда более интересные и эффективные!

Всех, кто сегодня на площадке или оплатил онлайн-участие, приглашаю в зал P7. Для остальных скину доклад в Пых как только он будет доступен (организаторы говорят, что уже через пару недель нарежут 🥳).

Так или иначе, до встречи!

#HighLoadMoscow2022

Мини-дайджест!

Зима начинается с крупных релизов, и я не могу о них молчать. Перечисляю ниже обновления проектов, которые сам использую, а вы дополните в комментариях, если вышло ещё что-то интересное.

Psalm 5

• intersection types,
• sealed array shapes,
• properties-of,
• variable templates,
• @psalm-check-type,
• улучшение производительности и другие фичи, подробнее в статье их блога: https://psalm.dev/articles/psalm-5.

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

Symfony 6.2

• Свои Lazy-Loading Proxies,
• улучшенная поддержка Emoji 🎉,
• Clock Component,
• #[Assert\When],
• UUID v7 and v8 в symfony/uid (наверное, мой доклад посмотрели 😅),
• поддержка автокомплита для Zsh,
• наконец-то ручной логин/логаут из коробки (правда, в 2022 это уже не особо актуально),
• и ещё куча всего, изучайте https://symfony.com/blog/symfony-6-2-curated-new-features.

Rector 0.15

Очередная версия с несколькими новыми ректорами и наконец-то сайт getrector.org с документацией!

What's up, PHP? #1

Скопилось приличное количество новостей и релизов, очень хочется их обсудить. Поэтому сегодня вместо линча в 19:00 мы поговорим про Psalm 5, Symfony 6.2 и PSR-20!

Поскольку рубрика "PHP Дайджест Live" не может продолжаться без участия Ромы, я запускаю альтернативную: "What's up, PHP?" Попробуем это название. Если есть идеи, как можно смачно русифицировать, пишите в комментариях.

https://youtu.be/X2XjaF4PJvk

🎉 С днём рождения, samdark! 🎁

Сегодня день рождения у Александра Макарова. Меня в Саше восхищают его предприимчивость, энтузиазм и успешность: он и лидер команды Yii, и организатор PHP Russia, и член рабочей группы PSR-12, и контрибьютор кучи проектов, и автор блога и даже книги. Я обнаружил одну удивительную закономерность: если где-то в мире проходит какой-то митап (не важно, оффлайн или онлайн), то с вероятностью 95% Саша принимает в нём участие.

Саш, с днём рождения! Спасибо тебе за гигантский вклад в PHP!

Кстати, подписывайтесь на новый Сашин блог в телеге: @samdark_blog.

Вместе встречаем PHP 8.2!

Ни года без релизного стрима!

В пятницу (9 декабря) в 19:00 Александр Макаров, Владлен Гилязетдинов и я, Валентин Удальцов, соберёмся на канале PHP Point, чтобы обсудить новый PHP. Поговорим про фичи, успехи PHP Foundation и подведём итоги уходящего года в сообществе.

Подключайтесь!

https://youtu.be/cXdJxa2gxgo

🔴 Начинаем стрим по PHP 8.2!

Подключайтесь и встречайте новый PHP вместе с нами!

https://youtu.be/cXdJxa2gxgo

Картинка из поста в светлом и тёмном вариантах!

Обещанный опрос по итогам 2022 в русскоязычном PHP-сообществе!

При желании в конце можно оставить почту — волей рандома подарим кому-нибудь PHP-слона и классный мерч. Итоги опроса, в том числе подборки лучших статей, докладов и библиотек, появятся в начале года на сайте phpcommunity.ru.

https://forms.gle/LSbuuTezfqboonRV9