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

DM>>>Я говорил про первое — "WebAssembly's local variables are outside the address space", а ты — про второе, про то, как конкретный компилятор С++ обходит это ограничение. Теперь все на своих местах.
V>>Я же говорю — низкое кач-во спеки.
DM>Ну нет, спека WebAssembly описывает именно ВМ WebAssembly, это уровень ассемблера, и там никакого aliased stack'a нет, как нет и структур.

Состояние спеки WebAssembly на сегодня — ну это примерно как схема функциональная.
Паять по такой схеме еще нельзя, надо разработать схему принципиальную.

А её нет.


DM>То, как отдельные языки будут выкручиваться, — уже спеку WebAssembly не волнует.

Мде? ))
Но С/С++ упоминает более одного раза (что ес-но, ведь дотнетные, джавовские, хаскель и чуть не все прочие рантаймы будут написаны под webasm на С или С++).

Однако, такое усердное упоминание создаёт видимость того, что проблема касается только С++, но это достоверно НЕ так.


DM>Она ничего не знает и знать не хочет ни про структуры, ни про требования GC отдельных языков.

Верно. Проблема в авторах спеки.
Там орудют птички, скажем прямо, не самого высокого полёта.
Нет таких как Герб Саттер в плюсах (а таких как Саттер в плюсах огромное кол-во людей), нет спецов сравнимого уровня с уровнем разработчиков того же дотнета когда-то.

Более того, описывать модель webasm в терминах JS...
это не просто роспись в нубстве, это днище.
Это махание своей профнепригодностью на весь интернет.
Как грится, куда вы соколики лезете, что пытаетесь проглотить...

И это они когда-то к 2015-му году хотели "повсеместно перейти", потом к 2018-му.
ИМХО, даже 2025-й сильно под вопросом, потому что это край современного нубства, а в таких случаях награда лишь одна — долгострой.

==============
Скажу так.
Идея мне импонировала, пока с твоей подачи я не полез в самые кишки как грится...
В нашей конторе такие нубы сидели бы на поддержке продуктов, разработанных другими коллегами.
И ни боже упаси руками трогать то, чего не понимают.