如何使用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/
社区学习交流平台订阅:
- Rust.cc 论坛: 支持 rss
- 微信公众号:Rust 语言中文社区