文章：50 Shades of Rust

Rust 在 GUI 领域正在以前所未有的速度发展，Rust 的跨平台特性和对 WebAssembly 的支持为 GUI 工具提供了更容易的软件发布。

在这篇文章中，作者回顾了当前 Rust 中与 GUI 相关的 toolkit ，并分享了一些构建 WebAssembly bundles 的技巧。

Article - 50 Shades of Rust: https://monadical.com/posts/shades-of-rust-gui-library-list.html#

论文：Specifying and Verifying Higher-order Rust Iterators

Rust 程序经常会使用迭代器，但这些迭代器给验证带来问题。本论文提出了一种用一阶逻辑推理 Rust 迭代器的通用框架，能够验证真实的 Rust 迭代器（包括高阶的 Map）。使用 Creusot 验证平台，作者评估了框架在迭代器客户端上的效果，证明它可以有效地验证复杂的函数式属性。

Paper - Specifying and Verifying Higher-order Rust Iterators: https://hal.science/hal-03827702v2/document

This Week In Rust 492

新一期的 Rust 周报速递发布，快来看看有哪些内容你曾经关注过 :)

This Week in Rust 492: https://this-week-in-rust.org/blog/2023/04/26/this-week-in-rust-492/

From 日报小组 PsiACE

社区学习交流平台订阅：

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