https://tratt.net/laurie/blog/entries/automatic_syntax_error_recovery.html тут примерно всё что есть на эту тему уже написано.

Да.

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

Особенно когда они отображаются в IDE.

Но про это про всё и ещё пару случаев написано у Тратта.

О, спасибо почитаю

В с++ это наоборот дико раздражает, так как приходится листать портянку вывода к началу, чтобы понять первопричину. Могут ещё быть наведенные ошибки из-за того, что в начале разобрали не то.

Пользуетесь языком, спроектированным через жопу — получайте жопу на каждом шагу. 🤷‍♀️😁

https://arzg.github.io/lang/ кто-то следит за туториалом по написанию языка?

уже 14^W15 частей вышло

@MRSMITH4 ^

сюда наверное? miri теперь детектит дата рейсы

error: Undefined Behavior: Data race detected between READ on Thread(id = 0, name = "main") and WRITE on Thread(id = 1), memory(alloc0,offset=0,size=8)
        -current vector clock = VClock([5])
        -conflicting timestamp = VClock([0, 11])
 --> src/main.rs:56:9
  |
56 |         COUNTER += 1;
  |         ^^^^^^^^^^^^ Data race detected between READ on Thread(id = 0, name = "main") and WRITE on Thread(id = 1), memory(alloc0,offset=0,size=8)
        -current vector clock = VClock([5])
        -conflicting timestamp = VClock([0, 11])
  |
  = help: this indicates a bug in the program: it performed an invalid operation, and caused Undefined Behavior

В среде компиляторщиков можно встретить утверждения в духе "SSA это функциональное программирование" и "в теории нет разницы между phi-функциями и базовыми блоками с параметрами". С инженерной же точки зрения различия, все-таки, имеются. В заметке ниже показан пример этих различий со сравнением императивного и функционального подходов к разработке компилятора:

http://blog.ezyang.com/2020/10/the-hidden-problem-with-basic-block-procedures-in-ssa/

Добавлю, что нельзя сказать, что одно из этих представлений в общем случае лучше, чем другое, с точки зрения вариантов проводимого анализа (см. также https://news.ycombinator.com/item?id=24872752 ). Но, в целом, можно отметить тенденцию использования базовых блоков с параметрами в высокоуровневых IR и для межпроцедурных преобразований, а phi-функций -- в низкоуровневых представлениях (вплоть до реализации мультиплексоров в описании генерируемой цифровой схемы).

#ssa

CS 6120: Advanced Compilers: The Self-Guided Online Course

CS 6120 is a PhD-level Cornell CS course by Adrian Sampson on programming language implementation. It covers universal compilers topics like intermediate representations, data flow, and “classic” optimizations as well as more research-flavored topics such as parallelization, just-in-time compilation, and garbage collection. The work consists of reading papers and open-source hacking tasks, which use LLVM and an educational IR invented just for this class.
There are videos, implementation tasks, and recommended paper reading.

https://www.cs.cornell.edu/courses/cs6120/2020fa/self-guided/

вот эту архитектуру Burroughs 5000 ещё можно глянуть: https://people.cs.clemson.edu/~mark/subroutines/b5000.html
деды от неё прям пищали, больше чем от системы команд PDP-11

403(

новый язык-убийса Си — ()()
lisp/llvm со шмакросами... м.б.

У меня есть конкретное дерево разбора для кода (CST), и соответствующее ему абстрактное (AST), полученное из первого просто выбрасыванием всех вспомогательных токенов.

Мне нужно сделать обратное преобразование - имея AST по нему добавить недостающие токены (и потом в собрать это все обратно в строку). Самый простой вариант это реализовать - написать вручную куда и при каких условиях что нужно добавить, но это достаточно мутный процесс.

У меня была идея распарсить какое-то количество тестового кода, собрать статистику по тому где какие вспомогательные токены встречаются, и на основе этого сгенерировать код для преобразователя из AST в CST. Возможно с какими-то ручными изменениями после.

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

Так, как написано, это просто невозможно, на первый взгляд... нет?
Если Вы уже выкинули комментарии из CST, обратно их уже не вставишь, например.