Ну почему - можно заново сбилдить все, а потом искать диффы

нет, это никак не связано

Можно, но долго

Why do you think so?

Хм, да, действительно

Настоящий EnC компилит конкретный метод, вроде бы

Именно из-за этого в нём столько стрёмных ограничений

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

Ну в джаваскрипте например можно заменить модуль целиком вместе со всеми переменными и чем-угодно-еще

А в сишарпе - да, там очень мало что можно поменять. Но добавить переменную или удалить вызов метода можно. А вот добавить другой метод или await-вызов нельзя

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

Как аллокации без освобождения с рекламацией памяти ОС в процессе деаллокации процесса с CGi-скриптом. 🤷‍♀️

Если GC (да и нормальной работы с памятью) не было, то по сути такой тест бы проходил:

function a() {
  $a = 5;
}

function b() {
  assert($a === 5); // OK
  $b = 3;
  assert(($a + $b) === 8); // OK
}

b();

Мб различались только symbol tables глобальная и для функции

function a() {
  $a = 5;
}

function b() {
  assert($a === 5); // OK
  $b = 3;
  assert(($a + $b) === 8); // OK
}

b();

Какое это отношение имеет к GC???

Получается, переменные (вместе с фреймами функций к которым они привязаны) жили пока выполнялся скрипт?

Переменные, фреймы, аллоцированная память и время жизни — это всё ортогональные понятия, связанные постольку поскольку. Так что я просто не понимаю, о чём именно Вы спрашиваете. 🤷‍♀️

О том как аллоцировалась память без GC в скриптовом языке.

Сейчас пришел к гипотезе о том, что когда интерпретатор видит заголовок функции, он выполняет процедуру создания некой символьной таблицы для этой функции куда записываются все локальные переменные для нее. И все такие таблицы во время выполнения скрипта живут в памяти вместе с объектами на которые ссылались/ссылаются локальные переменные. Я правильно рассуждаю?

В интерпретаторе скриптового языка.

void *storage = malloc(sizeof(something));

You're welcome.

Примерно так. Если поддерживается рекурсия, то таблица создаётся при каждом входе в функцию.