AT
Mag Pie
Было бы конечно здорово если бы прикрутили formal verification, но такого насколько я помню не делали ни для одного серьезного языка программирования
CBMC go brrrr...
Size: a a a
2020 October 18
AT
Ada смотрит со снисходительной ухмылкой.
AT
Frama-C закатывает глаза.
BV
Ada смотрит со снисходительной ухмылкой.
это которую убрали почти из всех мест потому что слишком сложно на ней прогать
AT
это которую убрали почти из всех мест потому что слишком сложно на ней прогать
Кажется, мужики из Aerospace не в курсе, что Аду у них убрали почти из всех мест. 😉
AT
Да и не только Aerospace...
BV
Кажется, мужики из Aerospace не в курсе, что Аду у них убрали почти из всех мест. 😉
кажется мужики из aerospace давно уже на С++ пишут (я если что мимокрокодил)
AT
кажется мужики из aerospace давно уже на С++ пишут (я если что мимокрокодил)
Видимо, где как. 🤷♀
BV
Видимо, где как. 🤷♀
ну локхид мартин давно уже не юзает, спейсикс, боинг тоже не особо - остался разве что сааб и то там факультативно
A
А это точно чат по Rust? 😁
BV
Adv0cat
А это точно чат по Rust? 😁
ну ты же спрашиваешь тут за CS, можно и нам пообсуждать компании использующие rust
A
ну ты же спрашиваешь тут за CS, можно и нам пообсуждать компании использующие rust
p
я че-то не вижу функции вида Fn(Cell<T>) -> &T, такая есть?
в🧇
я че-то не вижу функции вида Fn(Cell<T>) -> &T, такая есть?
Её не может быть
в🧇
let x = cell.get_ref();
cell.set(new_val); // UB
dbg!(x);Э
я че-то не вижу функции вида Fn(Cell<T>) -> &T, такая есть?
У тебя лайфтайм анбаундный, алоу.
Э
Единственный вариант такой функции — это внутри селлятину утечь боксом и вернуть ссылку.
Э
То чувство, когда борроу чекер в голове сразу всё разложил по местам.
в🧇
У тебя лайфтайм анбаундный, алоу.
Он имел в виду
&Cell<T> -> &T вероятнее всегоp
Он имел в виду
&Cell<T> -> &T вероятнее всегода. ну ладно, возьму refcell тогда.