【Rust日报】2020-07-19 Trait 工作组 2020 Sprint 3 总结

MikeLoveRust

发布于 2020-07-21 15:02:09

6020

发布于 2020-07-21 15:02:09

文章被收录于专栏：Rust语言学习交流Rust语言学习交流

Trait 工作组 2020 Sprint 3 总结

Trait 工作组的目标是完善 Chalk ，以便将其最终用于 rustc 中解决 trait的各种问题。看上去，工作组的一个Sprint周期是6周左右。

Chalk 由多个独立crate组成，其结构：

chalk-derive : 定义了派生宏（derive proc macros)
chalk-ir : 基本的「类型库」，用于在 rustc、rust-analyzer和Chalk之间共享
chalk-solve：定义 chalk-ir 中类型的Rust 语义
chalk-engine ：实现SLG 求解器
chalk-recursive ：实现递归求解器
chalk-parse : 用于测试，将类似Rust的语法解析为chalk-ir 和 chalk-solve 的类型
chalk-integration ：用于为测试提供有用的类型
chalk：用于测试，提供REPL

关于具体什么是 Chalk，可以看看 Chalk Book：http://rust-lang.github.io/chalk/book/what_is_chalk/crates.html

目前状态：

进一步完善 Chalk 对 GAT 的支持。GAT相关 Issues：https://github.com/rust-lang/rust/issues/44265
提取表示类型的共享库
支持 .chalk 文件用来debug
上一个sprint支持了 impl Trait，这个sprint 继续提升对impl Trait的支持
完善Chalk对Rust语义的支持
处理生命周期约束

感觉目前Chalk还有很多工作要做，接下来官方宣布成员们要休假，可能到9月份再继续工作。。。

https://blog.rust-lang.org/inside-rust/2020/07/17/traits-sprint-3.html

官宣：crates.io 的API 密钥需要重新生成了

最近官方受 Rust安全响应工作组通知检查有关影响crates.io (http://%E6%9C%89%E5%85%B3%E5%BD%B1%E5%93%8Dcrates.io) Web应用程序中令牌生成的安全问题，并且在调查该问题的同时，他们发现了另一个影响crates.io API令牌的漏洞。

目前没有证据证明这个漏洞已经被利用了，但是官方还是选择了撤销现在crates.io上所有的API密钥。开发者们可以在 crates.io/me 页面重新生成一个新的。

https://blog.rust-lang.org/2020/07/14/crates-io-security-advisory.html

https://nbsoftsolutions.com/blog/guidelines-on-benchmarking-and-rust

一些底层的学习 Booting to 'Hello Rust!'

作者在通过Rust学习一些操作系统底层的东西，这篇文章是第一篇，记录了他如何在x86_64上引导至裸机Rust。

https://micouy.github.io/posts/low-level-pt-1/

2020年Rust会参与Linux内核编写吗？

让我们来讨论一下这个话题（'Will 2020 Be The Year Of Rust In The Linux Kernel?'）！

Linus Torvalds also touched on Rust earlier this month. https://developers.slashdot.org/ https://www.zdnet.com/article/linus-torvalds-looks-at-the-future-of-linux-kernel-developers-and-development/

https://hackaday.com/2020/07/15/will-2020-be-the-year-of-rust-in-the-linux-kernel/