p
Был
Size: a a a
2021 April 20
ΑZ
прям как в расте
p
Нет
EG
Ты не поверишь
EG
Но любые мономорфизуемые дженерики это кодген с поддержкой компилятора
EG
Тогда получается, что настоящие дженерики только в джаве.
p
Нет, это не кодген на уровне языка
p
В го2 кодген на уровне языка
p
А в расте на уровне компилятора
EG
codegen is when go does things
and more things it does the codegener it is
and more things it does the codegener it is
V
Почему в джаве а не сишарпе?
TK
Го был настолько хорош, что гугл сделал го2
TK
Потому что везде, где есть нормальные дженерики, включая мономорфизируемые
p
Как я думаю, нет особой семантическо йразницы между
fn foo<T: i32 + i64 + u32>(t: T) {}
И
macro_rules! gen_foo {
($t:ty) => { fn foo(t: $t) {} }
}
gen_foo!(i32, i64, u32);
fn foo<T: i32 + i64 + u32>(t: T) {}
И
macro_rules! gen_foo {
($t:ty) => { fn foo(t: $t) {} }
}
gen_foo!(i32, i64, u32);
TK
А кодоген это шутка какая-то
p
Дженерики это всегда открытое множество
TK
Первый код попросту не заработает
p
Семантически чекай
TK
Он на уровне типажей работает, а не типов
p
Понятно блять что это не раст