Накопление знаний
Математическо-низкоуровневое

Игра в слова DSL

Очередные хитрости в теории компиляторов, то есть смотрите что получается.

AST - "абстрактное синтаксическое дерево"
  • абстрактное - чтобы кому-то было легче оперировать
  • синтаксическое - то есть преобразованное из синтаксиса
  • дерево - связный список списков или просто список, ацикличный граф
и казалось бы всё прозрачно - есть язык программирования, есть его парсер, на выходе это самое дерево, которое потом уже в компилятор передается для машинных кодов (там чуть сложней, но пока так).

Однако программа состоит из нескольких текстов, и обычно представляет собой каталог файлов-текстов программ. И внезапно появляется - Абстрактный семантический граф

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

Но в определении ASG, есть слова о том что ASG это обогащённое AST.

Ага - обогащение говорите, и где академические публикации на эту тему. Пока только закрытые и академические.

https://en.wikipedia.org/wiki/Abstract_semantic_graph

Самое интересное в этих публикациях - это ребра этого графа, которые фактически являются функциями-выражениями.

В итоге потихоньку, всё это идёт к GSG - global semantic graph. Заявляется, что именно этот самый глобальный семантический граф, станет основой цифровой революции и всеобщего нейромира.

Но так как деньги сейчас платят за данные - разговор чаще всего ведется про GGG https://www.w3.org/People/Berners-Lee/