Size: a a a

2020 May 12

MB

Mikail Bagishov in rust_offtopic
polunin.ai
он автоматически тащится, потому что вывод паник
Паники в ембеддеде?
источник

p

polunin.ai in rust_offtopic
@emmanuelGoldstein там что-то такое говорил
источник

MB

Mikail Bagishov in rust_offtopic
По идее, можно паниковать без строчек
источник

EG

Emmanuel Goldstein in rust_offtopic
Mikail Bagishov
Паники в ембеддеде?
Они автоматически тащатся и их сложно не тащить.
https://jamesmunns.com/blog/fmt-unreasonably-expensive/
источник

MB

Mikail Bagishov in rust_offtopic
Ну надо с этим бороться. У japaric была утилита, показывающая места где есть паники
источник

MB

Mikail Bagishov in rust_offtopic
Мне как-то трудно представить себе холодильник, который паникует
источник

DF

Dollar Føølish in rust_offtopic
В принципе в с++ то что за виртуальным вызовом тоже считается невидимым для оптимизаций, как будто бы это был другой TU . Не вижу решения для Дин трейтов😳
источник

Т8

Т-34 85 in rust_offtopic
@Psilon видел?
источник

Т8

Т-34 85 in rust_offtopic
Переслано от Igor
да, но я не фанат qt

а reasonml это по сути порт ocaml, компляющийся в js
тобишь все плюх ocaml в комплекте (система модулей/полиморфные варианты/gadt и тд)
источник

DS

Doge Shibu in rust_offtopic
Dollar Føølish
В принципе в с++ то что за виртуальным вызовом тоже считается невидимым для оптимизаций, как будто бы это был другой TU . Не вижу решения для Дин трейтов😳
Есть решение, но не 100%: Partial Evaluation + Whole program optimizer'ы
источник

EG

Emmanuel Goldstein in rust_offtopic
Mikail Bagishov
Мне как-то трудно представить себе холодильник, который паникует
У тебя может паниковать крейт, от которого ты зависишь
источник

EG

Emmanuel Goldstein in rust_offtopic
И тогда весь код форматтинга окажется в твоём бинаре
источник

MB

Mikail Bagishov in rust_offtopic
Dollar Føølish
В принципе в с++ то что за виртуальным вызовом тоже считается невидимым для оптимизаций, как будто бы это был другой TU . Не вижу решения для Дин трейтов😳
Поэтому люди и хотят type alias in impl trait, потому что они позволяют убрать боксинг, и снова сделать код прозрачным
источник

DF

Dollar Føølish in rust_offtopic
При оптимизации цельной программы предлагается отказаться от раздельной компиляции?
источник

MB

Mikail Bagishov in rust_offtopic
Emmanuel Goldstein
У тебя может паниковать крейт, от которого ты зависишь
Значит это не embedded-friendly либа. Не каждая сишная либа подошла бы.
источник

MB

Mikail Bagishov in rust_offtopic
Но вообще да, компилятор мог бы улучшитт дело
источник

MB

Mikail Bagishov in rust_offtopic
Наверное флагом, который вырезал бы все форматирование из паник
источник

EG

Emmanuel Goldstein in rust_offtopic
Можно себе представить нормальную причину для паники, в целом
источник

EG

Emmanuel Goldstein in rust_offtopic
Например, в той статье на панике сохраняется сообщение паники и ребутается девайс
источник

MB

Mikail Bagishov in rust_offtopic
Emmanuel Goldstein
Можно себе представить нормальную причину для паники, в целом
Ну вот что должен делать холодильник при панике?
источник