【Rust 日报】2022-10-28 GAT 要在 1.65 里稳定！

pydantic 2 计划使用 rust 提升性能

(转自 Rust 视界，重新编辑) pydantic 是 Python 里一款利用 Python 类型注解（type annotations）实现数据验证与设定的库。现在，这个库准备 优化清理技技术债，其中包括使用 PyO3 库来利用 Rust 提升性能的计划。

krustlet 凉了？

(转自 Rust 视界，重新编辑) 这是来自 Rust 视界频道的观点:

今天看到有人说 krustlet 仓库都凉了，Rust 在云原生领域是不是不行了？ 其实，krustlet 的创始团队早就离开微软 自己创业了，他们创建的 fermyon-cloud 最近刚融了 2000w 。 目测，Rust 现在在云原生的趋势就是 Containerless， 还要啥 k8s ？ 开创一个新的疆土不比捆绑在旧生态上香？

这里简单介绍一下什么是 Containerless：顾名思义，代码写完，就可以部署到计算服务平台，而不需要封装成容器！然而，当前在使用 Containerless Computing 技术时，我们会遇到这样一个问题：我们的编译目标会依据提供 Containerless 服务的平台不同而有着不同的要求：

• 如果我想要在 https://shuttle.rs 上发布自己的应用时，我必须在程序中嵌入 shuttle 的开发套件

• 如果这之后我要更换成 WasmEdge 平台，则我又需要把在程序中嵌入的 shuttle 开发套件去掉，并且重新编译成单个 wasm 目标上传到 WasmEdge 上面。

这意味着，Containerless 技术多数解决方案仍然是 供应商绑定 的技术，并没有达到 OCI 容器基础设施那样平台与用户功能/程序相互独立的效果。Fermyon 公司的 Spin 也是这样一种供应商绑定的技术。小编认为，一个解决供应商绑定的方法，是 WASI 中有关网络部分的 API 得到最终的标准化并得到各大运行时的实现。

shuttle - 受到 Loom 启发的并发测试框架

当然，和 Loom 一样，随机的并发测试不能完全证明代码没有问题，但是可以用极高的概率来触发问题；同时可以对发现问题 的调度过程进行记录和还原，极大地提高了并发问题的修复效率。

[库文档]：https://docs.rs/shuttle/0.3.0/shuttle/

GAT 要在 1.65 里稳定！

尽管如此，GAT 目前仍然有一些 bug 和限制：

• HKTB 隐含了 'static 要求

• 带有 GAT 的 Trait 并不对象安全

• 借用检查不能准确指示

• 会对 where 子句提出非局部（non-local）的约束要求

[官方博客]：https://blog.rust-lang.org/2022/10/28/gats-stabilization.html

---

From 日报小组 @huangjj27

社区学习交流平台订阅：

• Rust.cc论坛: 支持rss

• 微信公众号：Rust语言学习交流