AF
обязательно на сто процентов. операции определенны таким образом что они зависят на инварианты которые проверенны на этапе валидации
ну да или пришлось бы всё в рантайме проверять
Size: a a a
2019 June 17
NK
ну да или пришлось бы всё в рантайме проверять
оно и есть в рантайме виртуальной машины
AA
vsem privet :D
NK
https://github.com/sunfishcode/wasm-reference-manual/blob/master/WebAssembly.md#integer-value-types вот тут валидацию вообще не догоняю, двукомплементарный минимум, какие-то ультрапреобразования и указатели
lp
ID:693357436
оно и есть в рантайме виртуальной машины
ну во первых, в спецификации ничего о виртуальной машине не сказано, тоесть ты можешь сразу в бинари компилиторать для целевой машины
а во вторых, да, некоторые проверки существуют в рантайме, но их намного меньше чем могло бы быть если сравнить с тем что было бы без валидации
а во вторых, да, некоторые проверки существуют в рантайме, но их намного меньше чем могло бы быть если сравнить с тем что было бы без валидации
AA
do you guys speak english too or only russian?
lp
Andranik Arakelov
do you guys speak english too or only russian?
mostly russian, but english should work for many here
lp
ID:693357436
https://github.com/sunfishcode/wasm-reference-manual/blob/master/WebAssembly.md#integer-value-types вот тут валидацию вообще не догоняю, двукомплементарный минимум, какие-то ультрапреобразования и указатели
ну ты скипай ) в конце должно сложиться в одну картину
NK
нет, я пытаюсь понять инты Шрёдингера, которые и знаковые, и беззнаковые, и какие-то двукомплементарные и при этом не симметричные вокруг нуля
lp
я чего то не понял че он там имеет ввиду конкретно.
lp
ну вот да
lp
самое главное что они двух комплементные
lp
вот для сравнение тоже самое но в официальной спеке
https://webassembly.github.io/spec/core/syntax/values.html
https://webassembly.github.io/spec/core/syntax/values.html
NK
что вообще это значит?
lp
(но это не для выполнения)
AA
is it possible to create muldimensinal array in wasm ?
MV
это же просто дополнительный код
lp
ID:693357436
что вообще это значит?
двух комплементные?
NK
да, twos-complement
MV
ID:693357436
нет, я пытаюсь понять инты Шрёдингера, которые и знаковые, и беззнаковые, и какие-то двукомплементарные и при этом не симметричные вокруг нуля
считай, что инты - это просто байты, а и их знаковая/беззнаковая интерпретация зависит от команд