< 返回版块

Lanpeng 发表于 2020-07-19 22:01

Tags: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月份再继续工作。。。

Read More

官宣: 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 页面重新生成一个新的。

Read More

Read More

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

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

Read More

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/

Read More

"Who's Hiring", job-seekers and job-offerers

这是一个供个人和雇主使用的,用来发布求职和招聘信息的 Reddit 帖子,具体的发帖规则(Rules)可以看帖子

Read More

Rust 基准性能测试指南

本文涵盖了 Criterion、valgrind、kcachegrind的使用

Criterion 是一个可以用于Stable Rust的基准性能测试库,并且可以生成漂亮的性能测试报告(Web、console)。

Repo


From 日报小组 格朗, Lanpeng

社区学习交流平台订阅:

评论区

写评论

还没有评论

1 共 0 条评论, 1 页