大家好!您知道语言团队现在有定期设计会议吗?我们利用这些会议来深入研究活跃项目组的成果。会议结束后,我们通常会将录像发布到YouTube,并将一些会议记录放到语言团队仓库。我想写一篇快速更新,列出我们最近举行的一些会议以及即将举行的会议。
最近的语言团队设计会议
我们最近举行了两次语言团队设计会议
- 常量求值项目组讨论了常量求值的总体状态,以及他们正在开发的用于展示下一步是什么以及它们之间如何关联的“技能树”。我们还讨论了在常量求值上下文中“unsafe”可能意味着什么,特别是Ralf 的提案,即在 const fn 中,将“可能无法进行常量求值的东西”视为“unsafe”。
- 安全 transmute 项目组:我们讨论了安全 transmute 小组探索的方法,特别是深入研究了 jswrenn 开发的 令人兴奋的
typic
crate。我们研究了哪些适合作为即时 RFC 来进行,以及哪些应该暂时保留在库实验的范围内。
语言团队设计会议提案如何运作
每个提议的会议都从语言团队仓库中的一个 issue 开始。如果您好奇,可以查看带有meeting proposal
标签的开放 issue,以了解正在考虑哪些会议;如果会议已安排,它还将标记为meeting scheduled
,并有一些关于当前日期的评论。
我们目前以相当临时的形式安排会议,基本上是在 Zulip 上协商。我可能希望将我们改为像编译器团队那样更“定期安排”的会议,但我们尚未采用这种方案。
任何人都可以提出设计会议,尽管它们主要是在与活跃的项目组或其他正在进行的讨论结合的情况下提出的,而不是凭空提出的。此外,欢迎任何人旁听设计会议,但您应该知道会议通常会被录制。Zoom 链接可按需提供。
即将举行的语言团队会议提案
我们目前有两项待定的语言团队会议提案
- 一项讨论加入语言团队的途径的提案 (rust-lang/lang-team#32)。
- 一项讨论对类型别名强制执行边界以及我们如何分阶段实现的提案 (rust-lang/lang-team#25)。
我们预计很快会安排这些会议,并在日期确定后更新 issue。