или на прошлой 🤔

я просто почему спрашиваю, не так давно по предложению Бена Титзера для выбора системы типов для Wasm GC мы должны сделать два прототипа - с номинальной системой типов и со структурной. Для номинальной системы типов команда V8 все сделала, а вот других голосов в CG за структурный подход кроме Россберга особо нету. Вот и хотелось бы услышать людей, которые функциональные языки в wasm компилируют, чтобы понять что им надо

струкрурная типизация добавляет много рантайм оверхеда и ее практически никак не оптимизировать, в отличии от номинальной. В то же время структурную можно оносительно просто эмулировать поверх номинальной, а вот наоборот уже так просто не выйдет. Поэтому наверное все и были против и шли ожесточенные дебаты. В конечном итоге v8 и binaryen сейчас решили прототипировать обе системы одновременно (они будут разделены на уровне инструкций)

мне казалось что номинальную легко реализовать через структурную с небольшими хаками

Так в Haskell нет структурной. 🤷‍♀️

там тоже номинальная? я не хаскелист)

Кортежи через номинальную сделаны?

Вот мне тоже. А как вообще в обратную сторону делать, @maxgraey ?

Да. Откуда там структурная-то?

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

Я тоже не хаскелист, но иногда кортежи с точки зрения языка - анонимные структуры, ковариантные относительно типов элементов. Можно конечно это все через Tuple1, Tuple2, Tuple3, … и универсальное представление сделать.

В Haskell нет подтипирования — нет и ко-/контравариантности соответственно. Структуры и туплы — разные типы. Анонимных структур вообще нет.

А как вообще структурную поверх номинальной делать? Хоть бы и не производительно?

Да по-разному можно. Вот не самый лучший вариант
http://whiley.org/2011/03/07/implementing-structural-types/

Это статья про реализацию проверки структурных типов на языке с номинальными типами. Это понятно.
Я думал, мы говорим про пользовательские структурные типы прямо в языке с номинальными.

А у кого есть d8 скомпилированный с wasm disasm (v8_enable_disassembler) флагом на машине?

нужен именно d8?
какойнить wasm2wat неподойдет?

нужно получить дизасм код турбофана для небольшого wasm файла

Буду пепесобирать V8 в понедельник, могу попробовать включить

было бы отлично!