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月份再继续工作。。。
官宣: 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 页面重新生成一个新的。
一些底层的学习 Booting to 'Hello Rust!'
作者在通过Rust学习一些操作系统底层的东西,这篇文章是第一篇,记录了他如何在x86_64上引导至裸机Rust。
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/
"Who's Hiring", job-seekers and job-offerers
这是一个供个人和雇主使用的,用来发布求职和招聘信息的 Reddit 帖子,具体的发帖规则(Rules)可以看帖子
Rust 基准性能测试指南
本文涵盖了 Criterion、valgrind、kcachegrind的使用
Criterion 是一个可以用于Stable Rust的基准性能测试库,并且可以生成漂亮的性能测试报告(Web、console)。
From 日报小组 格朗, Lanpeng
社区学习交流平台订阅:
评论区
写评论还没有评论