Мне не нравится то, во что превращается PHP

И я уже знаю, что скажете вы, глядя на заголовок статьи:
— Кто ты такой? Почему ты позволяешь себе так говорить?

Отвечу сразу, чтобы не было недомолвок:

• Я профессионально программирую на PHP с 2004 года, то есть вот уже 16 лет на момент написания этой статьи, и продолжаю это делать каждый день
• Я преподаю программирование, в том числе и на PHP, примерно 10 лет и за это время выпустил в свет несколько тысяч студентов
• Я всегда был в восторге от каждой новой версии PHP, что выходила со времен от 5.0 до 7.4 и всегда был адептом подхода «пишем на самой свежей версии, тестируем на следующей»

И всё-таки, несмотря на всё сказанное выше, мне не нравится то, во что превращается PHP сейчас и во что он превратится уже скоро, буквально этой осенью.

Почти каждый принятый в PHP 8 RFC вызывает во мне боль и недоумение. И я готов объяснить и защищить свою позицию.

Меняются базовые концепции языка

С чего обычно начинается изучение нового языка? Значения, выражения, переменные и функции. Так и при изучении PHP — это естественный порядок.

Когда мы начинаем проходить функции, я обращаю особое внимание студентов на то, что в PHP контекст функций замкнут, «герметичен». Это очень просто и совершенно логично — нужно лишь четко запомнить, какие имена видит функция: свои аргументы и свои внутренние переменные.

Когда мы доходим до азов ООП и изучаем понятие «метод», мы опираемся на понятие функции, и добавляем еще один пункт к контексту: $this в динамических методах. Меняется ли что-то еще? Нет. Функции по-прежнему замкнуты, их контекст перестает существовать после вызова, снаружи ничто не протекает в функцию, наружу из нее тоже не утекает.

Доходим до анонимных функций — и тут правила игры тоже не меняются. Аргументы? Да. Внутренние переменные? Да. $this? ОК, давайте обойдем этот вопрос, иначе нам придется обсуждать странную вещь под названием «статическая анонимная функция» :)

Далее добавляем понятие «замыкания». С ним тоже всё логично, отдельное ключевое слово, конечный список переменных из контекста создания, базовые принципы не нарушены. А учитывая, что замыкается значение, а не имя, то вообще всё отлично — функции продолжают быть «герметичными». Ничто снаружу не просочится, ничто наружу не выливается.

А знаете, что происходит дальше?

А дальше у нас появляются стрелочные функции. И это ломает всё.

Я вынужден объяснять, что стрелочные функции нарушают усвоенные с таким трудом принципы, поскольку замыкают на себя ВЕСЬ контекст в момент своего создания.

Опс.

А как же принцип «герметичности»? А никак, на него наплевали в угоду упрощения написания, сэкономив 6 символов — теперь у нас «fn» вместо «function».

Плохо. Непоследовательно.

Вы думаете, что это единственный пример? Как бы не так.

Задайте любому нубу вопрос — с какого символа в PHP начинаются имена? Правильно, с символа "$"

• имена переменных
• имена свойств объектов
• имена свойств классов
• имена аргументов
• даже «переменные переменные» — тоже "$" !

Логично? Да. Последовательно? Да. Нужно только помнить про константы, которым $ не нужен.

Что теперь у нас появляется? Именованные аргументы: wiki.php.net/rfc/named_params

array_fill(value: 50, num: 100, start_index: 0);

Где «доллар»? Нет.

Это проблема.

Теперь придется запоминать, что в сигнатуре функции «доллар» писать нужно, а при вызове — нет. И это очень серьезная проблема, нарушающая целостную систему языка. Это плохо и непоследовательно.

Ради чего? Да так, просто, потому что кому-то захотелось перенести сахарок из Python в PHP, не подумав. Однако в Python хотя бы используется один и тот же символ "=" для сопоставления имени и значения, что в присваивании, что в именованных аргументах, а у нас теперь их будет два — обычное "=" и ":" в новой конструкции.

Почти каждый обсуждаемый для PHP 8 RFC несет одну и ту же проблему — нарушение ранее сложившейся системы языка. И это плохо. Это ломает мозг и тем, кто пишет на PHP давно, и тем, кто только начинает его изучать.

Смотрите: ( wiki.php.net/rfc/match_expression_v2 )

echo match (1) {
    0 => 'Foo',
    1 => 'Bar',
    2 => 'Baz',
};

это новые match-expressions. Можете объяснить, почему в них используется символ "=>", а не привычный по switch-case ":"? И я не могу.

Это снова нарушение уже сложившейся системы. Символ "=>" всегда (до чертовых стрелочных функций, снова они!) обозначал разделитель пары «ключ-значение». Теперь он обозначает еще и разделитель списка аргументов и возвращаемого значения в «стрелке», и символ выбора значения в операторе match.

Это плохо. Это очень плохо. Это крайне непоследовательно. Это даже хуже, чем с ключевым словом static, которое используется как минимум в трех принципиально разных значениях.

Нечитаемость на естественном языке

Покажите носителю английского текст

SELECT * 
FROM users
WHERE age>=18 AND name LIKE 'J%'

и он, если его IQ превышает 60, с легкостью объяснит — о чем этот текст и что будет сделано при реализации этого текста, как программы.

Покажите гению, не знакомому с JS, текст

const f = () => 42;

и он не поймет ничего. Константа? f это скобки? Скобки стремятся к числу? Что это?

Я всегда был рад, что PHP далек от того, чтобы принести в жертву читаемость кода в угоду краткости. Я был рад, что он далек от JS, где принцип читаемости кода был отринут в пользу «пиши меньше символов, всё равно этот код читать никто не будет».

Теперь я понял, что в PHP 8 принцип естественной читаемости кода будет нарушен. И, судя по всему, бесповоротно.

Просто посмотрите на эти примеры:

wiki.php.net/rfc/constructor_promotion

class Point {
    public function __construct(
        public float $x = 0.0,
        public float $y = 0.0,
        public float $z = 0.0,
    ) {}
}

Теперь у нас вместо аргументов конструктора — сразу и объявление свойств и задание им значений из аргументов.

Догадайтесь, что после знаков "="? Начальные значения свойств? Или дефолтные значения аргументов конструктора? Догадаться невозможно. Узнать, прочтя код — тоже. Это плохо. Еще одно место, которое нужно заучивать наизусть.

wiki.php.net/rfc/property_write_visibility

class User {
    public:private int $id;
    public:protected string $name;
}

Публично-приватное свойство? Серьезно? Как из этого кода понять, что речь идет о свойстве доступном на чтение и недоступном на запись?

wiki.php.net/rfc/conditional_break_continue_return

    function divide($dividend, $divisor = null) {
        return if ($divisor === null || $divisor === 0): 0; 
        return $dividend / $divisor;
    } 

Серьезно, это кому-то нужно? Кто-то писал годами на PHP и страдал из-за отсутствия возможности написать «return… if» вместо «if… return»? Нам действительно нужен новый йода-синтаксис для банального if и return?

Слишком много способов сделать одно и тоже

PHP всегда нарушал знаменитый принцип «должен быть один и только один способ...» Но он делал это разумно, понемногу и обоснованно.

Теперь же этот принцип растоптан и уничтожен. Каждый принимаемый RFC словно говорит «а давайте добавим еще один способ написать if, ведь я видел такое в Perl/Python/Ruby/Brainfuck!» — причем других обоснований, кроме как «я видел» в общем-то не приводится.

Что было:

if ($y == 0)
  return 0;

if ($y == 0) {
  return 0;
}

if ($y == 0):
  return 0;
endif;

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

Но этого мало! Подождите еще немного, и вы увидите:

// революционный Йода-If
return if ($y == 0): 0;

Вот так вызывались функции:

foo(bar($baz));

Скоро вы увидите вот такое:

$baz |> 'bar' |> 'foo'

— гениально, не правда ли? Сразу же понятно, что это вызов функций!

И это я еще ничего не написал про стрелочные функции :)

Больше, больше способов сделать то, что делалось и раньше без всяких проблем:

• match-expressions
• оператор "?->"
• два разных синтаксиса для замыкания
• цикл + else
• статические конструкторы
• объявление свойств в аргументах конструктора (!)

и многое другое, что приведет лишь к тому, что код станет сложнее читать, а язык — сложнее изучать.

Итог

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

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

Мне не хочется увидеть через год на месте PHP новый Perl. А вам?