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 12:53

Компилятор (имею ввиду языковой сервер) мог бы ещё красным подсвечивать действия в коде коллбека, которые нарушают синтаксис или семантику языка

Programming Language Design

18 June 2026 12:52

Блин, классная идея. Возьму её себе в язык

Programming Language Design

18 June 2026 12:42

даже проще.
f(n) => if n then f(n) else 42
f(n) => if n then g(n) else 42; g(n) => if n then f(n) else 42
эти две f экстенсионально эквивалентны. более того, вторую можно переписать в первую без потери семантики, но решаема ли эта задача в общем случае?

Programming Language Design

18 June 2026 12:39

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

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

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

Programming Language Design

18 June 2026 12:52

Только немножко в другом синтаксисе

Programming Language Design

18 June 2026 12:48

МОжет пригодиться.
https://anton-k.github.io/ru-haskell-book/book/toc.html

+ ботов попытай вопросами, они могут подсказать.

Programming Language Design

18 June 2026 12:39

Она не решается для всех случаев. Но, решается для некоторых частных случаев. Программисты решают частные случаи. Правда, иногда ошибаются 🙃

Programming Language Design

18 June 2026 12:37

что делать с корекурсией?