В РНР рекурсия была давно.

в четвёртой версии так точно

Ну не до такой же степени, чтобы видео смотреть.

https://news.ycombinator.com/item?id=24471440 интересный тред, человек отреверсинженерил и нашел что у эпол в их продакшн чипах уже давно есть матричные инструкции которые только недавно считай релизнули со спекой на arm v8.4

Про модули. Я на эти тесты вышел вот с этой статьи https://vector-of-bool.github.io/2019/01/27/modules-doa.html там у автора интересные претензии и к тому, что приняли, и к рабочей группе в целом. А по поводу параллелизма, все равно независимая компиляция, которую дают заголовки, будет масштабироваться лучше. Основная проблема с модулями, если встретил import A, то надо пойти и собрать этот модуль A, если он ещё не собран, чтобы получить bmi-файл. И это не только C++ ная проблема, питон так же работает. Clang кстати должен работать немного шустрее, так как компилирует в две стадии: сначала отдает bmi, а потом дособирает obj.

Один cpp-файл все равно компилируется в один поток, граф зависимостей строит билд-система, но она ничего не знает про модули. Получается, что теперь не только нужен граф зависимостей между таргетами, но и нужно учесть зависимости между модулями. Либо отдать модули на откуп компилятору, пусть он их лениво собирает.

Ну я же говорю - косячно сделано. Сборочная система почему-то знает про заголовочные файлы.

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

Ну как это? Строит, либо пользуется сгенерированным GCC.

Не, если мы граф зависимостей модулей строим на лету, а .depend нам построил GCC, и это не считается, то да, можно... 😀

Так зачем заголовки компилировать? Насколько я знаю по неким ключам у компилятора можно попросить заголовки того или иного cpp файла и добавить их в input для цели, чтобы пересобирать при изменении заголовка. И на этом знания заканчиваются, т.к. больше ничего не надо, сами cpp файлы могут компилироваться независимо. А вводим модули и получаем зависимости между самими cpp файлами, а значит и просадку в масштабируемости. И это уже неустранимо. Остаётся только рассуждать что мы больше выиграли или потеряли и если на 8-16 ядрах на ноутбуке разработчика скорее выиграли, то на 128 ядерной билдстанции возможно и потеряли. Но учитывая тонны шаблонов в каком-нибудь eigen/tensorflow/pytorch, если сможем закешировать инстансы, то и там выиграем как минимум на счетах за электричество

> Так зачем заголовки компилировать?

Precompiled headers добавили в Visual C++ более 20 лет назад. И вправду -- зачем? 😉

О да, и stdafx.h, содержащий всё "стабильное" и включаемый всюду. Модульность.

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

Да, когда мы выпилили прекомпилед хедеры из сорцов телеги она стала собираться заметно быстрее )

Смешно уже

@berkus https://github.com/godcodehunter/smithpiler/blob/master/src/parser/parser.lalrpop лалрпоп повесился

Уходит в фриз кек

Ладно, завтра уже буду копать это. Вообще конечно фейл, лучше бы взял парсер комбинатор

тотальный!