Size: a a a

2020 June 06

AZ

Alex Zhukovsky in rust_offtopic
polunin.ai
только эти варарги тебе в идрисе туеву хучу оверхеда в рантайм перенесут, держу в курсе. у меня правда есть мысли как от этого избавиться, но в идрисе уже всегда будет лишний оверхед
эмм, тут не будет никакого оверхеда, оно в компайл тайм только работает
источник

G

Gymmasssorla in rust_offtopic
Dollar Føølish
А, ну так завтипы
Это очень мощно
источник

AZ

Alex Zhukovsky in rust_offtopic
всё что возвращает Type в рантайме не существует
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
эмм, тут не будет никакого оверхеда, оно в компайл тайм только работает
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
эмм, тут не будет никакого оверхеда, оно в компайл тайм только работает
В рантайме тоже
источник

DF

Dollar Føølish in rust_offtopic
Да, но ты же сам сказал без доказательств на них не попишешь
источник

p

polunin.ai in rust_offtopic
Alex Zhukovsky
всё что возвращает Type в рантайме не существует
существует, здравствуйте
источник

DF

Dollar Føølish in rust_offtopic
А доказательства долго делать для оперденей
источник

AZ

Alex Zhukovsky in rust_offtopic
Gymmasssorla
В рантайме тоже
оно мономорфизируется при использовании и как бэ всё
источник

DF

Dollar Føølish in rust_offtopic
Поэтому я за атс 3
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
оно мономорфизируется при использовании и как бэ всё
Нет
источник

DF

Dollar Føølish in rust_offtopic
Нужен системный язык на завтипах
источник

AZ

Alex Zhukovsky in rust_offtopic
ну значит во втором будет, не вижу причин почему оно не может
источник

G

Gymmasssorla in rust_offtopic
Alex Zhukovsky
ну значит во втором будет, не вижу причин почему оно не может
И во втором не будет
источник

AZ

Alex Zhukovsky in rust_offtopic
Если я пишу VarArgs Int 3 то схуяли у меня тут будут ранатйм косты?
источник

G

Gymmasssorla in rust_offtopic
Посмотри в книге пример с генерацией типов записей
источник

G

Gymmasssorla in rust_offtopic
Внимательно
источник

AZ

Alex Zhukovsky in rust_offtopic
пойду спрошу в чат, чо
источник

G

Gymmasssorla in rust_offtopic
Да нет
источник

G

Gymmasssorla in rust_offtopic
Обсуждалось уже
источник