大家好!我想快速更新一下语言团队的最新动态。我们今年正在开始一项新尝试:定期的**设计会议**。设计会议的目的是为我们提供一个时间,就某个特定主题进行深入讨论。这可能是一个我们发现的紧迫问题,对现有设计工作的更新,或者是一个前瞻性的提议。
会议将提前安排好。理想情况下,每次会议之前都应该有一篇博客文章提供背景资料,尽管这在实践中可能难以实现。同样,每次会议之后,我们通常会发布会议记录和录音,并理想地尝试撰写一篇总结性博客文章,列出要点。(有时录音很难获得,可能是由于技术原因,或者是因为我们希望能够讨论更敏感的话题。)
会议对任何人开放,欢迎旁听和参加。会议通常在周一的“波士顿时间中午”举行——但具体时间请查看语言团队日历。我们也会努力使日历保持更新,包含每次会议将要讨论的主题。如果想不到合适的议题,会议可能不会每周都举行。
第一次设计会议
我们的第一次设计会议实际上是上周一举行的!我们讨论了之前在 Pin
中发现的健全性漏洞。您可以阅读我们讨论的会议记录,录音也已可用。您也可能觉得阅读internals 讨论帖中的评论更容易。好消息是,我们似乎正在集中讨论一种基于 negative impls 的解决方案。
下一次设计会议
下一次设计会议将于本周一举行。议题将是如何修复rust-lang/rust#57893,这是一个与 dyn
类型相关的健全性错误。有一份准备好的文档,描述了问题和可能的解决方案,以指导会议。值得注意的是,其中一个提议的解决方案也涉及 Rust 2021 edition(尽管也有不需要新版本的小型、更有针对性的修复)。
之后的几次设计会议
接下来的两周可能不会举行设计会议
- 1月20日是美国的马丁·路德·金纪念日。
- 1月27日是 Mozilla 全体员工大会(All Hands)。
因此,在这两种情况下,许多语言团队成员将无法出席。