Окей, ребята, я вас услышал: цена получилась слишком высокой. Для понимания: это не я решил разбогатеть — это комиссия Озона такая большая (больше трети с каждой продажи).

И сейчас до меня дошло, что те услуги, за которые Озон берёт такой процент, мне вобщем-то не нужны — я могу продавать вам из рук в руки.

Дайте мне несколько дней, я попробую автоматизировать продажи слоников с доставкой через Хобота. Кто заказал — можете отменить.

Наполнение списка при деструктуризации

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

В этом случае я всегда использую запечатанный list shape, потому что его очень удобно разбирать в переменные при помощи синтаксиса деструктуризации массива: [$a, $b] = $tuple.

Сейчас мне потребовалось в цикле раскидать возвращаемые методом значения по двум спискам. Приятно удивился, что при деструктуризации можно использовать не только [$array['key']] = , но и [$array[]] =.

Упрощённый пример:

interface Thing
{
    /**
     * @return list{int, string}
     */
    public function resolve(): array;
}

/**
 * @param iterable<Thing> $things
 */
function app(iterable $things): void
{
    $ints = [];
    $strings = [];

    foreach ($things as $thing) {
        [$ints[], $strings[]] = $thing->resolve();
    }

    var_dump($ints, $strings);
}

PHPStan | Psalm

Нюансы вариадических функций

Копаясь в статанализе в рамках проекта Typhoon, мы про каждую мелочь стараемся думать во всей полноте, чтобы не упустить даже очень редко используемые возможности PHP. Так мы периодически узнаём что-то новое.

Например, есть тип callable(<params>): <return type>. У параметров есть следующие модификаторы: = (со значением по умолчанию), ... (вариадический), & (передаётся по ссылке). Вопрос: как их можно сочетать?

1. Параметры, передаваемые по ссылке, очевидно, могут иметь значение по умолчанию.
2. Вариадические, очевидно, не могут иметь значения по умолчанию.
3. Могут ли вариадики передаваться по ссылке? Вот тут лично для меня уже неочевидно, потому что я вообще редко что-то передаю по ссылке.

Разбираемся. Вариадические функции добавил Никита Попов в далёком 2013 году (до этого все использовали func_get_args()), и вот что написано в RFC:

By-reference capture

The new syntax additionally adds support for capturing variadic arguments by-reference, something that was previously not possible in userland code. Only internal functions could make use of this via ZEND_ACC_PASS_REST_BY_REF.

This would allow implementing functions like sscanf() or mysqli_stmt::bind_param() in userland.

A by-reference capture of variadic arguments is indicated by a & before the ellipsis ....

Пробуем:

function increment(int &...$ints): void
{
    foreach ($ints as &$int) {
        ++$int;
    }
}

$a = 0;
$b = 100;

increment($a, $b);

var_dump($a, $b); // 1, 101

Получается, в параметрах типа callable возможны только два сочетания: &... и &=.

Кстати, обратите внимание: слово "опциональный" не является точным определением для = параметра. Опциональные параметры — это те, которые можно не передавать, к ним относятся не только параметры со значением по умолчанию, но и вариадические. Поэтому = однозначно определяется именно как параметр со значением по умолчанию (у нас в коде bool $hasDefault, а не $isOptional). Этот нюанс хорошо прослеживается в нативной рефлексии:

$reflection = new ReflectionParameter('increment', 'ints');

var_dump(
    $reflection->isOptional(), // true
    $reflection->isDefaultValueAvailable(), // false
);

Typhoon учится выводить дженерики

Всю неделю контрибьютил в алгебру типов Typhoon (пока в приватном репо), в частности научился программно решать системы линейных уравнений над типами.

На скриншоте вы видите, как алгебра выводит результат вызова полиморфной функции а-ля array_combine. Причём делает это с анонимной сигнатурой буквально "на весу".

Аналогичный код в PHPStan (выводит верно, но с нерелевантными ошибками) и Scala.

Дальше больше...

Примечание: PHPDoc просто для понимания описываемой сигнатуры, он никак не парсится алгеброй.

Два простых правила

Вот сколько лет я ни пишу код, без конца убеждаюсь в двух вещах:

1. Если стоит выбор между мутабельностью и иммутабельностью — без раздумий выбирай иммутабельность.
2. Если стоит выбор между наследованием и композицией — без раздумий выбирай композицию.

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

Каждый раз, когда я выбираю наследование, я получаю запутанный код, который трудно переиспользовать (хотя обещали, что будет наоборот) и невозможно читать, не прыгая по нескольки классам с полузащищённым API.

Интересно, что и мутабельность, и наследование осложняют типизацию и привносят костыли: @self-out, @this-out, @require-extends.

Я не Егор Бугаенко и не утверждаю, что мутабельность и наследование прям вот совсем не нужны. Но если есть выбор (90% случаев на моей open source практике) — советую воздерживаться.

Ищу напарника на стрим по Typhoon

На следующей неделе хочу провести Typhoon-стрим. Мы наконец-то напишем простой инструмент на базе typhoon/type, который будет полезен в самых обыкновенных проектах.

Чтобы было веселее писать код, приглашаю любого из вас присоединиться в роли второго пилота. Нужно быть в теме статического анализа в PHP, оценивать свой уровень на middle+ и не бояться говорить на камеру в прямом эфире.

Желающие, скидывайте в личные сообщения канала Пых свой GitHub.

Убираем null?

В конце месяца совместно с Garage Eight и Live PHP делаем митап в Санкт-Петербурге. Регистрация откроется через неделю.

В числе спикеров отчаянный борец против null — Владимир Романичев.

Вчера мы прогоняли его доклад, а сегодня я кидаю вам пример рефакторинга своего кода...

Было

final class Context
{
    /**
     * @var array<non-empty-lowercase-string, Name>
     */
    private array $uses = [];

    public function __construct(
        public readonly ?Name $namespace = null,
    ) {}

    public function use(Name $name, ?Name $as = null): self
    {
        $context = clone $this;
        $context->uses[($as ?? $name->last())->toLowercaseString()] = $name;

        return $context;
    }
}

Стало

final class Context
{
    // ...

    public function use(Name $name): self
    {
        return $this->useAs($name, $name->last());
    }

    public function useAs(Name $name, Name $as): self
    {
        $context = clone $this;
        $context->uses[$as->toLowercaseString()] = $name;

        return $context;
    }
}

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

Только что на php.net опубликовали PHP 8.5!

Тег уже два дня как стоит, но я ждал финального аккорда.

По этому поводу держите мой доклад со Стачки «PHP 8.5 не сбавляет темп!». Из него вы узнаете про основные фичи новой версии и нюансы их применения.

Основные таймкоды:
01:04 Все способы получения первого элемента массива в PHP (в т. ч. бредовые)
05:20 Pipe operator v3
10:56 URL Api
17:20 Clone with v2
21:24 #[NoDiscard]
24:07 Closure и FCC в константных выражениях
27:57 Persistent cURL handles
29:33 Асимметричная видимость статических свойств
30:00 Рекурсивные замыкания
37:41 Типизируем array_first()

https://youtu.be/OIFbU5oypig
https://vkvideo.ru/video-228746873_456239122
http://vudaltsov.github.io/php8.5-slides
https://php.net/releases/8.5/ru.php

Абсракция — текущая абстракция.

#пыхослов

Выяснилось, что /src/ -export-ignore разыгноривает только саму директорию src. Для файлов надо ещё добавить правило /src/** -export-ignore.

В документации к gitattributes это есть (RTFM):

The rules by which the pattern matches paths are the same as in .gitignore files, with a few exceptions:
- negative patterns are forbidden
- patterns that match a directory do not recursively match paths inside that directory (so using the trailing-slash path/ syntax is pointless in an attributes file; use path/** instead)

Итоговый рабочий вариант (проверено при помощи git archive с директориями и файлами разной вложенности):

* export-ignore
/src/ -export-ignore
+/src/** -export-ignore
/composer.json -export-ignore
/README.md -export-ignore
/CHANGELOG.md -export-ignore
/LICENSE -export-ignore

Закинул исправляющий PR в yii-soft/package-template.