В
How we integrate Rust with C#
https://blog.datalust.co/rust-at-datalust-how-we-integrate-rust-with-csharp/
https://blog.datalust.co/rust-at-datalust-how-we-integrate-rust-with-csharp/
О, интересно
Size: a a a
2020 March 05
G
Т-34 85
Они просто проблемы закрывают, большинству, мне кажется, этого достаточно
ну посмотрим
G
как я уже говорил, писать тривиальные теоремы вместо тривиальных тестов легче
G
ты просто пишешь то, что ты хочешь получить, всё
Т8
ты просто пишешь то, что ты хочешь получить, всё
А когда я сам не знаю, чего хочу, пойму лишь в процессе?
G
посмотри в документ, который я тебе скинул по ACSL в Frama-C. пример с функциями max_ptr и другими, которые в начале объясняются
Т8
посмотри в документ, который я тебе скинул по ACSL в Frama-C. пример с функциями max_ptr и другими, которые в начале объясняются
Я ничего в этом не понимаю. И вникать не хочу
G
с доказательством список уже идёт индукция, что немного сложнее, но её проходят в средней школе
G
Т-34 85
А когда я сам не знаю, чего хочу, пойму лишь в процессе?
для таких как ты я и напишу статью
Т8
с доказательством список уже идёт индукция, что немного сложнее, но её проходят в средней школе
Как это применять в промышленном коде?
G
Т-34 85
Я ничего в этом не понимаю. И вникать не хочу
ну никто не заставляет
G
Т-34 85
Как это применять в промышленном коде?
также, как и в любом другом
Т8
для таких как ты я и напишу статью
Обязательно нотифай ми
G
Т-34 85
Обязательно нотифай ми
👍
Т8
также, как и в любом другом
Ну-ну. Жду статью
AK
void foo(bar &object){
std::unique_ptr<bar> p1;
p1.reset(&object);
std::unique_ptr<bar> p2;
p2.reset(&object)
// дабл фри
}+. Хуйня пример. Юник и шаред поинтеры через std::make_unique / std::make_shared обычно создают.
Т8
Alexander Krivitskiy
+. Хуйня пример. Юник и шаред поинтеры через std::make_unique / std::make_shared обычно создают.
Он писал на плюсах 2003 стандарта
Т8
Так что не по адресу
Т8
И вникать, как я понял, не хочет, чего там творится щас
AK
Т-34 85
Он писал на плюсах 2003 стандарта
В 03х юников то и не было....