Здравствуйте, vdimas, Вы писали:

DM>>Я не про DOM. Я про сложность нормально компилировать в wasm нативные языки с GC, т.к. нельзя сканировать стек.

V>Это нейтивный стек вызовов нельзя сканировать, а стек данных можно:

Хм, можно ссылку на описание "стека данных" в WebAssembly?
Если что, мы тут про WebAssembly говорим, а не про ASM.js.

V>В любом случае, в чистом нейтиве бывают только пессимистичные GC, т.е. если в стеке лежат только данные — это даже еще лучше.

Что такое "пессимистичные GC"?
Консервативные? Нет, это не так совершенно.

V>А если брать что-то типа .Net/Java с точным GC, то для такого GC в любом случае надо размечать фреймы стека и связывать их с метаинформацией, поэтому, отсутствие доступа к адресам возвратов мешать не должно — указатель на текущий фрейм можно протягивать как неявный аргумент любого вызова.

Если текущий фрейм не в куче, то на него не бывает указателей в WebAssembly.