Телеграмм чат группы compilerdev страница 1035

Size: a a a

Compiler Development

2020 March 08

это ж текстовый вариант spir-v

Нет. Текстовый вариант это wat у wasm к примеру или nasm. Это все таки яп, При чем тот же for они собираются делать через синтаксический сахар

источник

23:08пожаловаться #1

ЗП

Зигохистоморфный Препроморфизм in Compiler Development

MaxGraey

C# вдохновлялся Rust который в свою очередь вдохновлялся Ocaml
А в java просто поменяли «:» на «->» и сделали switch не стейтментом а вырожением)

Точно Раст?) А случаем не его сородичем F#?)

источник

23:12пожаловаться #2

Andrei Kurosh in Compiler Development

«The regardless statement will probably not be used in most cases but exists to handle a specific case in SPIR-V. If you have an OpBranchConditional where both targets are the same block.»

Оператор безысходности?...

источник

23:12пожаловаться #3

Andrei Kurosh in Compiler Development

MaxGraey

const a : i32 = 2;
var i : i32 = 0; <1>
loop () {
  break if (i >= 4);

  a = a * 2;

  continuing {  <2>
    i = i + 1;
  }
}

Зачем тут вообще нужен «continuing»?

источник

23:19пожаловаться #4

MaxGraey in Compiler Development

Зигохистоморфный Препроморфизм

Точно Раст?) А случаем не его сородичем F#?)

F#:

match color with
| 1 -> printfn "Red"
| 2 -> printfn "Green"
| 3 -> printfn "Blue"
| _ -> ()

Rust:

match color {
1 => println!("Red"),
2 => println!("Green"),
3 => println!("Blue"),
_ => (),
}

На что больше похоже?

источник

23:22пожаловаться #5

MaxGraey in Compiler Development

Andrei Kurosh

const a : i32 = 2;
var i : i32 = 0; <1>
loop () {
  break if (i >= 4);

  a = a * 2;

  continuing {  <2>
    i = i + 1;
  }
}

Зачем тут вообще нужен «continuing»?

Вот тоже не понял

источник

23:22пожаловаться #6

MaxGraey in Compiler Development

Berkus Decker

это ж текстовый вариант spir-v

А еще вывод типов) (возможно)

https://github.com/gpuweb/gpuweb/issues/560

GitHub

[wgsl] Implicit types for variable declarations with expressions. · Issue #560 · gpuweb/gpuweb

This came up at the F2F. Currently all var and const require the type to be supplied. This is redundant in the case where an initializer is provided and we can determine the type. The proposal at t...

источник

23:23пожаловаться #7

λoλdog in Compiler Development

MaxGraey

А еще вывод типов) (возможно)

https://github.com/gpuweb/gpuweb/issues/560

GitHub

[wgsl] Implicit types for variable declarations with expressions. · Issue #560 · gpuweb/gpuweb

эх, expr опциональный :(

источник

23:24пожаловаться #8

MaxGraey in Compiler Development

Или вот так предлагают:
let x = cast<i32>(1)

источник

23:25пожаловаться #9

MaxGraey in Compiler Development

let arrPtr: ptr<private, array<vec3<f32>,32>> =…

Думаете Rust или C++? А нет, wgsl!)

источник

23:32пожаловаться #10

Peter Sovietov in Compiler Development

MaxGraey

Вот тоже не понял

Это просто текстовая "обертка" над структурными конструкциями управления SPIR-V. Там есть отдельный continue-блок.

источник

23:32пожаловаться #11

Peter Sovietov in Compiler Development

Но в целом смешно, конечно. Особенно вот здесь: https://github.com/gpuweb/gpuweb/issues/566

GitHub

WGSL is terrible! · Issue #566 · gpuweb/gpuweb

You're making the exact same mistakes that OpenGL did -- having a source-level language (text) be your main shader input; and we all know how well that turned out. There's a reason ...

источник

23:33пожаловаться #12

MaxGraey in Compiler Development

Peter Sovietov

Но в целом смешно, конечно. Особенно вот здесь: https://github.com/gpuweb/gpuweb/issues/566

GitHub

WGSL is terrible! · Issue #566 · gpuweb/gpuweb

You're making the exact same mistakes that OpenGL did -- having a source-level language (text) be your main shader input; and we all know how well that turned out. There's a reason ...

Ого, я этог оне видел 😂

источник

23:34пожаловаться #13

MaxGraey in Compiler Development

В целом я не поняимаю зачем городить все это? Понятно, что они хотят добиться какого то компросисса и быстрого парсинга, но выглядит это ужастно. Я думаю никто бы не был против если бы только байткод поддерживался, а дальше уже народ сам выберет как этот байткод получить из GLSL, HLSL, WHLSL, Rust или TS. Весь веб давно сидит на транспиляторах, так что это не проблема вообще

источник

23:36пожаловаться #14

Peter Sovietov in Compiler Development

Вообще-то для SPIR-V есть и текстовое представление. И оно гораздо более удобное, чем тот же LLVM IR. Есть стандартный парсер, документы, описывающие синтаксис.

источник

23:41пожаловаться #15

MaxGraey in Compiler Development

Peter Sovietov

Да, я знаю очень похоже на LLVM IR но удобнее

источник

23:42пожаловаться #16

Evgenii Moiseenko in Compiler Development

Peter Sovietov

Но в целом смешно, конечно. Особенно вот здесь: https://github.com/gpuweb/gpuweb/issues/566

GitHub

WGSL is terrible! · Issue #566 · gpuweb/gpuweb

You're making the exact same mistakes that OpenGL did -- having a source-level language (text) be your main shader input; and we all know how well that turned out. There's a reason ...

там первый коммент начинается с

источник

23:50пожаловаться #17

Evgenii Moiseenko in Compiler Development

дожили

источник

23:50пожаловаться #18

Evgenii Moiseenko in Compiler Development

теперь и покритиковать нельзя

источник

23:50пожаловаться #19

Peter Sovietov in Compiler Development

Evgenii Moiseenko

теперь и покритиковать нельзя

В том числе из-за этого не так давно ушел один из ключевых разработчиков LLVM. https://quillette.com/2018/06/26/diversity-and-discrimination-in-open-source/
Но предлагаю, все-таки, тут далее не развивать оффтопик. Как говорил герой песни — "Just do as I say, don't do as I do" %)

источник

23:54пожаловаться #20