【Rust日报】2022-11-05 Slint语言的新变化

Slint语言的新变化

Slint 语言的设计结合了新旧元素：在 QML 方面的丰富经验和全新 Canvas 的可能性，现代 HTML/CSS 提供的功能使 UI 设计的某些方面非常方便。

• 声明组件
• Input/Output 属性
• 表达式中查找顺序的变化

原文链接，https://slint-ui.com/blog/changes-to-the-slint-language.html

Github 讨论区，https://github.com/slint-ui/slint/discussions

Rust中的作用域线程

TL; DR 作用域线程在循环中等待线程完成，异步版本则不能等到任务完成。博文主要内容包括：

• 作用域线程的“无畏”并发
• 控制线程的生命周期
• 作用域线程的异步版本

博客原文链接，https://wishawa.github.io/posts/thread-scoped-async/

哪些 crate 是事实上的标准？

“事实上的标准”是指大多数项目都在使用的crate，但它不是 std 的一部分，尽管它们最终可能会进入，比如：

• 错误处理 - thiserror, anyhow
• 命令行参数解析 - clap
• 异步 - tokio

Rust 生态系统的非官方指南 Blessed，https://blessed.rs/crates

Prop，Rust中带有类型的命题逻辑

Prop，是 Rust 中的一个库，用于使用直觉命题逻辑进行定理证明。支持经典命题逻辑中的定理证明，由 AdvancedResearch 社区提供用于路径语义研究。

use prop::*;

fn proof<A: Prop, B: Prop>(f: Imply<A, B>, a: A) -> B {
    imply::modus_ponens(f, a)
}

Github 链接，https://github.com/advancedresearch/prop

From 日报小组 洋芋