@fulcanelly вам я советую почитать про формальные  грамматики на википедии, а также про рекурсивный спуск как метод парсинга

Если в двух словах,  классически со строчкой типа if x>0 then 10 else 24 вам нужно сделать два прохода:
1. Лексический анализ сделает из неё набор лексем. Каждая лексема это единица языка: ключевое слово, число, оператор. Так удаляются  пробелы и детали форматирования.
2. Синтаксический анализ построит дерево из этого набора лексем. Как это сделать -- самый простой способ это алгоритм рекурсивного спуска, написанный под грамматику вашего языка.  Потом можно посмотреть на парсинг с помощью таблиц и стека, в книге с драконом (ахо сети ульман)  он неплохо расписан.

Узкоспециализированным компилятором чего во что?

Видимо речь про суперкомпиляцию.

раздел "Представление программ"

смущает фраза "Terra is a low-level system programming language" — т.е. еще один язык, а не комиплирующая библиотека к generic Lua

если вы напрямую функции LLVM дергаете, вы что компилируете? вот того этого

Таки библиотека к generic Lua. 😊

что касается конкретно компиляции такого графа через LLVM, там есть затык — когда делал через компилирующие методы, которые по подграфам ходят рекурсивно, Python-код лавинообразно разрастается, и становится очень плохо читаемым
ищу хороший ман, как сделать на Python прологоподобный pattern matching на графах (с бэктрекингом), библиотек полно находится, но к ним не хватает ключевого описания общих принципов их работы — возможно с матчингом удастся сделать трансформацию графа в компилируюмую форму с более читаемым кодом (через наборы правил перезаписи)

Это откуда картинка?

отсюда

Если кому интересно, написал бложик про инлайнер в C# https://egorbo.com/how-inlining-works.html 😊

немедля ретвитнул!

(вот бы приделать такую же команду "Disasm %s method/function" к C/C++ коду в vscode...)

Хорошая мысль для плагина, кстати

из моего тренинга и из книжки которая рекомендована в его конце - очень хорошая книжка, рекомендую )

Есть ли какие-нибудь JIT системы для статически типизированных компилируемых языков типа C++/Fortrana, позволяющие значительно повысить производительность по сравнению с просто компилятором?
Или это тупиковый путь, и больше, чем просто определение типа процессора, и выбор скомпилированного под него кода (AVX vs SSE) не сделать?