#prog #rust #rustlib
Хозяйке на заметку
Трейт Context из anyhow позволяет легко добавлять дополнительную информацию к ошибкам через extension method на
Но этот трейт также реализован и для Option:
Хозяйке на заметку
Трейт Context из anyhow позволяет легко добавлять дополнительную информацию к ошибкам через extension method на
Result
:use anyhow::Context;
let config = Config::from_file(config_path).context("failed to read config")?
let file = std::fs::read(file_to_process)
.with_context(|| format!("failed to read file {}", file_to_process.display()))?;
Но этот трейт также реализован и для Option:
let user = json_api_response.get("user").context("user not set")?;
docs.rs
Context in anyhow - Rust
Provides the `context` method for `Result`.
👍18👌5
#prog #rust хайлайты:
* Компилятор теперь предлагает использовать
* Компилятор теперь предлагает использовать метод
* Компилятор теперь предлагает использовать
while let
, если next()
вызывается на итераторе, по которому идёт цикл for
.* Компилятор теперь предлагает использовать метод
swap
вместо std::mem::swap(&mut slice[i], &mut slice[j])
.GitHub
Better messages for next on a iterator inside for loops by chenyukang · Pull Request #113174 · rust-lang/rust
Fixes #102972
👍7🤯2
#prog #rust #article
Nine Rules for Running Rust on the Web and on Embedded
Или как портировать крейт для работы в
Nine Rules for Running Rust on the Web and on Embedded
Или как портировать крейт для работы в
#[no_std]
и в WASM на примере конкретного реального крейта.Medium
Nine Rules for Running Rust on the Web and on Embedded
Practical Lessons from Porting range-set-blaze to no_std and WASM
🔥3
Блог*
#prog #rust #rustlib #article Kani — bit-precise model checker for Rust. Верификатор, который исполняет код символически и потому эффективно проверяет код на всех возможных входах. Если код (без внесения ограничений на работу kani) проходит проверку, то его…
#prog #rust #amazingopensource
Introducing the Kani VS Code Extension
Использовать Kani теперь очень удобно.
Introducing the Kani VS Code Extension
Использовать Kani теперь очень удобно.
Kani Rust Verifier Blog
Introducing the Kani VS Code Extension
Kani is a verification tool that can help you systematically test properties about your Rust code. To learn more about Kani, check out the Kani tutorial and our previous blog posts.
🤩3
Forwarded from Ateo Blacked
🏳️🌈 15 ОТЛИЧИЙ ГЕЕВ ОТ ПРАВОСЛАВНЫХ ВЕРУЮЩИХ
1. Геи не требуют преподавать во всех школах "Основы ЛГБТ-культуры".
2. Геи не требуют запрещать фильмы и книги. Даже те книги, в которых требуют побивать камнями за прелюбодеяние или неуважение к одному из дней недели.
3. Не существует никаких "гейских ценностей", за неуважение к которым закрывали бы выставки, цензурировали бы печатное слово или пытались бы привлечь к уголовной ответственности.
4. Геи не накладывают ни на кого анафему и не молятся о "вразумлении" их оппонентов "скорбями и болезнями".
5. На гей-парад мужчинам можно прийти в шортах и футболке, а женщинам - без головного убора и даже во время месячных.
6. Геи никогда не спорят, кто из них более натурален и каноничен, а кто менее.
7. Вместо того, чтобы долго и скучно проповедовать любовь к ближнему, геи ее уже практикуют.
8. Геи не захватывают музеи, парки и дворы и не превращают их в ЛГБТ-храмы.
9. Один православный храм способен создать больше шума, чем большой гей-парад. Геи не звонят в колокола и не мешают спать жителям соседних домов.
10. Геи не требуют у вас денег на ремонт своих помещений.
11. Когда геи занимаются политикой, они не требуют у журналистов писать о том, как они посетили гееслужение во время Большого Нетрадиционного Праздника.
12. Геи не поддерживают идеи квир-флота в Севастополе, Трансгендерного Мира или особого статуса Лесбийского языка. Также им не нужен собственный гей-патриарх и они не обвиняют всех, кто открыто признает, что он не имеет ничего общего с гей-культурой, в гомофобии.
13. Геи не обещают адовы кары за секс до брака, положительно относятся к контрацепции, не отрицают потребность в сексуальном просвещении для школьников и, тем более, не требуют запретить аборты.
14. Геи не называют людей другой ориентации сектантами и не обвиняют их в контроле над сознанием.
15. Наконец, слово "gay" означает "веселый", а вот "orthodox"... не очень веселый, мягко говоря.
1. Геи не требуют преподавать во всех школах "Основы ЛГБТ-культуры".
2. Геи не требуют запрещать фильмы и книги. Даже те книги, в которых требуют побивать камнями за прелюбодеяние или неуважение к одному из дней недели.
3. Не существует никаких "гейских ценностей", за неуважение к которым закрывали бы выставки, цензурировали бы печатное слово или пытались бы привлечь к уголовной ответственности.
4. Геи не накладывают ни на кого анафему и не молятся о "вразумлении" их оппонентов "скорбями и болезнями".
5. На гей-парад мужчинам можно прийти в шортах и футболке, а женщинам - без головного убора и даже во время месячных.
6. Геи никогда не спорят, кто из них более натурален и каноничен, а кто менее.
7. Вместо того, чтобы долго и скучно проповедовать любовь к ближнему, геи ее уже практикуют.
8. Геи не захватывают музеи, парки и дворы и не превращают их в ЛГБТ-храмы.
9. Один православный храм способен создать больше шума, чем большой гей-парад. Геи не звонят в колокола и не мешают спать жителям соседних домов.
10. Геи не требуют у вас денег на ремонт своих помещений.
11. Когда геи занимаются политикой, они не требуют у журналистов писать о том, как они посетили гееслужение во время Большого Нетрадиционного Праздника.
12. Геи не поддерживают идеи квир-флота в Севастополе, Трансгендерного Мира или особого статуса Лесбийского языка. Также им не нужен собственный гей-патриарх и они не обвиняют всех, кто открыто признает, что он не имеет ничего общего с гей-культурой, в гомофобии.
13. Геи не обещают адовы кары за секс до брака, положительно относятся к контрацепции, не отрицают потребность в сексуальном просвещении для школьников и, тем более, не требуют запретить аборты.
14. Геи не называют людей другой ориентации сектантами и не обвиняют их в контроле над сознанием.
15. Наконец, слово "gay" означает "веселый", а вот "orthodox"... не очень веселый, мягко говоря.
🤡24👍22💩7❤5👎2❤🔥1