Programming Language Design

18 June 2026 18:26

Где дотнет строит ast из байткода? Речь о декомпиляторах типа ilspy?

Programming Language Design

18 June 2026 16:37

Примеров бы, без них неясно

Programming Language Design

18 June 2026 16:09

Своя вм.

Можно и на ты😏

Programming Language Design

18 June 2026 16:05

Кстати, а ты язык будешь делать под свою вм или вм другого языка, или может натив?

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 17:51

Точно работает хорошо, например в .net

Programming Language Design

18 June 2026 16:12

Класс)
А в вм можно будет динамически создавать функции, классы (если предусмотрены) и подобные конструкции?)

Мне это в js безумно нравится

Programming Language Design

18 June 2026 16:06

*вы будете (просто привык на ты)

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

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