Programming Language Design

18 June 2026 15:41

Где вы увидели что я в функции собираюсь что-то регулярками искать/переписывать???
И ни о каких goto речи вообще не было.
Пример с регулярками был дан как аналогия. Не более.

Моя идея скорее о макросах и патмате.

@artemkot4 @vexoxoid

Programming Language Design

18 June 2026 13:24

В случае vm идея с построением ast из байт кода наверное работает хорошо, если заняться реализацией, но в случае натива нужно очень много думать

Programming Language Design

18 June 2026 13:22

Понимаю. У меня язык на llvm, поэтому отталкиваюсь от своего опыта

Programming Language Design

18 June 2026 13:14

Суть в том, чтобы представить общее представление ast, которое будет стабильно и предоставить программисту удобный интерфейс без знаний того, как работает язык в более низком представлении

Programming Language Design

18 June 2026 13:13

Мы можем изменять сам байткод непосредственно

Programming Language Design

18 June 2026 13:11

Но в общем смысле мы получаем представление, изменяем что нам надо для изменяемой функции и дальше представление передаётся компилятору, который построит изменённую функцию

Programming Language Design

18 June 2026 13:09

Из итоговых объектных файлов

Programming Language Design

18 June 2026 13:08

Тут скорее нужен аст для самого программиста, который будет менять функцию

Programming Language Design

18 June 2026 13:02

Обычно там байт-код. Байткод можно патчить, но АСТ там не пахнет.

Programming Language Design

18 June 2026 12:59

Возможно это даже упростит задачу унификации

Programming Language Design

18 June 2026 12:57

Тоже думал ваши думы закинуть и спросить что мне изучить

Programming Language Design

18 June 2026 12:56

нулан, может не совсем так. там всё же модификация ИЛ, а не АСТ

Programming Language Design

18 June 2026 12:55

как домой доберусь, если не забуду. но можно погуглить oxygen not included mods

Programming Language Design

18 June 2026 12:54

именно так, сам писал

Programming Language Design

18 June 2026 12:53

Если он после компиляции выяснит ast

Programming Language Design

18 June 2026 13:25

Сам llvm просто абстракция над компиляцией в целевые платформы, но машинный код это уже результат, и далеко не обобщённый

Programming Language Design

18 June 2026 13:23

llvm не vm, извините, хотя могу себе представить что кто-то патчит llvm ir

Programming Language Design

18 June 2026 13:20

Когда мы декомпилируем, то уже ни о какой стабильности речи идти не может. Да и вмки не особо низкоуровневые обычно, ну JVM

Programming Language Design

18 June 2026 13:14

Ну то есть декомпиляция => изменение => компиляция это лишний шаг

Programming Language Design

18 June 2026 13:12

Обычная декомпиляция/парсинг

Programming Language Design

18 June 2026 13:09

Идея отлично ложится на js/джаву подобных языках, где есть абстракция для vm

Programming Language Design

18 June 2026 13:08

Наверное в случае натива строить аст очень больно

Programming Language Design

18 June 2026 13:03

Машинный код тоже можно патчить, но это неприятно и неудобно

Programming Language Design

18 June 2026 12:59

Учитывая оптимизации llvm

Programming Language Design

18 June 2026 12:59

Вообще аст вряд ли будет сохраняться после компиляции, скорее всего компилятору придётся его собирать из уже скомпилированных файлов библиотек

Programming Language Design

18 June 2026 12:57

Слишком общий вопрос )
Знаете же, хорошо поставленный вопрос содержит половину ответа 😉

В целом, ИИ-агенты сейчас уже неплохо отвечают на вопрос типа что надо изучить чтобы понимать вот эту фигню.

Programming Language Design

18 June 2026 12:56

Могу вечером тебе написать

Programming Language Design

18 June 2026 12:54

Можно примеры? Интересно стало

Programming Language Design

18 June 2026 12:54

буквально как пишутся моды к некоторым играм

Programming Language Design

18 June 2026 12:53

Будет ли проблема с рекурсией, зависит от выбранного модуля интенсиональной эквивалентности. Т.е., проблема с рекурсией возникает, когда мы приближаемся к определению экстенсиональной эквивалентности.