【Rust 日报】2021-10-28 使用Rust实现API健康检查模式

如何使用Rust构建一个Web应用程序

这是一个系列博客，更新到了第三章。

Read More: https://blog.tarkalabs.com/how-to-build-a-web-application-using-rust-part-iii-ed6511ebaa97

使用Rust实现API健康检查模式

本周，当我准备将一个基于 rust 的后端服务部署到一个 Kubernetes 集群时，我意识到我还没有将后端服务配置为由 kubelet 检测其活性和准备状态。我可以通过添加一个/health API 端点来实现这一需求，该端点根据服务的当前状态，使用 Ok 或 servicefookhttp 状态进行响应。

Read More: https://itnext.io/implementing-the-health-check-api-pattern-with-rust-eaef04cb4d2d

Rust 模型检查器（RMC）

Rust模型检查器(RMC)允许使用C有界模型检查器(CBMC)对Rust程序进行模型检查。从本质上讲，RMC是Rust编译器的扩展，它将Rust的MIR转换为CBMC (GOTO)的输入语言。

Read More: https://whileydave.com/2021/10/26/test-driving-the-rust-model-checker-rmc/

aussie++

又一门用Rust实现的编程语言，作者的灵感来源于Reddit上的一篇帖子：https://www.reddit.com/r/ProgrammerHumor/comments/oa8chw/australian_programming_language/

Github: https://github.com/zackradisic/aussieplusplus/ 官网: https://aussieplusplus.vercel.app/

本周周报

我认为在一般情况下，"强迫用户考虑额外的情况，并明确表示要忽略它们 "这绝对是地道的Rust。

• Daniel Wagner Hall 在 rust-internals 谈到

Read More: https://this-week-in-rust.org/blog/2021/10/27/this-week-in-rust-414/

From 日报小组 Cupnfish

社区学习交流平台订阅：

• Rust.cc 论坛: 支持 rss
• 微信公众号：Rust 语言中文社区