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

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


WH>Loads convert Memory types to Local types according to the following rules:
WH>Тут явно торчат уши текущей реализации.
WH>Когда реализация протекает в модель пиши пропало.

WH>Если хочется проводить эти конвертации нужно делать это на этапе загрузки байткода.
WH>В самом же байткоде должны быть совершенно конкретные типы.

тут совершенно конкретные типы, возможно ты не понял
фактически тут сказано, что регистр может быть int32 или int64, а данные в памяти 8,16,32,64 соответственно знаковые и беззнаковые....
вообщем прямо ложиться на команды ассемблера x86

WH>2)Control flow structures
WH>https://github.com/WebAssembly/design/blob/master/AstSemantics.md#control-flow-structures
WH>Опять протечка реализации в модель.
WH>Только в значительно более тяжёлой форме.
WH>Данные извращения нужны исключительно для компиляции в жабаскрипт. И только по тому, что жабаскрипт не умеет goto.

No action, while and switch combined with jump-threading are enough.
Just add goto (direct and indirect).
Add new control-flow primitives that address common patterns.
Add signature-restricted Proper Tail Calls.
Add proper tail call, expanding upon signature-restricted proper tail calls, and making it easier to support other languages, especially functional programming languages.

WH>3)The signature-restricted proper tail-call feature would allow efficient compilation of arbitrary irreducible control flow.
WH>[/q]
WH>Они эти пляски с бубном записали в преимущества?
WH>Почему разработчики компиляторов должны выпиливать для своего кода всякие релуперы?
WH>При том, что такая модель поможет только при начальной реализации, которая транслирует этот кода в жабаскрипт, а когда у них будет нормальный компилятор на клиенте, всё это будет не нужно. На все разработчики компиляторов до скончания веков будут вынуждены тратить уйму времени для того чтобы запихнуть свой код в эту модель.

не понял, что тут....