Rust表示将创建官方规范,涉及编辑器、版本定义、语义界线等

2023.11.15,Rust在其官方博客中,发表了一篇博文,来说明Rust规范制定,将涉及哪些内容。

文章开头就说明,规范是根据RFC 3355的需求而决定制作的。RFC即Request For Comments的简称,意即征求意见。

规范将由Eric(Rust参考维护者)、Felix(Rust语言团队)、Joel(Rust基金会)、Mara(RFC作者)共同启动。

A few months ago, by accepting RFC 3355, the decision was made to start working on an official specification for the Rust language. Eric (maintainer of the Rust Reference), Felix (Rust language team), Joel (Rust Foundation) and Mara (author of the RFC) have been working together to get this effort started.

然后文章将说明Rust迄今已经做的工作和即将完成的其他计划。

编辑

首先是规范的编辑人Editor,文章表示,规范的协调和编辑将委托给Rust基金会,也就是Joel,这是作为内部人选的方案,Rust官方原本是有物色其他人选,但被拒绝了,所以才在内部遴选。

而Joel原本就是在做相关工作,且在行业标准和技术编辑方面经验丰富,是个合适的人选。

As part of the hiring effort for this role by the Foundation, we interviewed a few interested candidates with relevant experience. Because an offer to a candidate was eventually rejected, the Foundation opted to consider internal options as an alternative. The Foundation's Director of Technology, Joel, came forward as a willing candidate for the position as part of his existing job. Eric, Felix, and Mara were quickly on board with the idea of having Joel as the Specification Editor due to his vast experience with industry standards and technical editing and his proximity to the Rust project.

团队

其次,是规范的制作团队。规范不是一个人可以完成的,必然需要团队的合作。所以Rust官方将组建规范的制定团队,其初步团队是:

  • Felix Klock(领导)
  • Mara Bos(领导)
  • Joel Marcey(成员,编辑)
  • Eric Huss(成员)

相关利益人

Rust官方列了一个相关利益的清单,包括规范的专家和消费者,这些人会担任顾问和审查者。

相关利益人清单:

  • 所有Rust语言团队成员
  • 类型团队的一或多名代表
  • 操作语义团队的一或多名代表
  • Ferrocene的一或多名代表(高保证/可用性,如汽车行业)
  • 形式方法研究与开发的一或多名代表
  • 操作系统研发的一或多名代表(Rust for Linux,Windows)

授权和批准

简而言之,规范团队只负责编写规范,但Rust的主要权利还是在其他团队手里,如语言团队和库API团队。但为了编写过程的效率和顺利进行,所以会安排一个中间协调的人(如Felix),以保证规范编写过程与其他团队能够充分协调,不至于出现"打架"的情况。

目标

Rust官方表示,之所以编写规范,就是为了创造一个权威的参考,用于明确哪些文本是有效的Rust,以及其行为方式。

  1. 为所有的Rust版本提供给定程序语义的规范性界限
  2. 为特定版本的Rust提供语义的细节性描述和符合规范的实例

博文原址:https://blog.rust-lang.org/inside-rust/2023/11/15/spec-vision.html

相关推荐
2301_765703148 分钟前
C++中的协程编程
开发语言·c++·算法
m0_748708059 分钟前
实时数据压缩库
开发语言·c++·算法
lly2024061 小时前
jQuery Mobile 表格
开发语言
惊讶的猫1 小时前
探究StringBuilder和StringBuffer的线程安全问题
java·开发语言
m0_748233172 小时前
30秒掌握C++核心精髓
开发语言·c++
Fleshy数模2 小时前
从数据获取到突破限制:Python爬虫进阶实战全攻略
java·开发语言
Duang007_2 小时前
【LeetCodeHot100 超详细Agent启发版本】字母异位词分组 (Group Anagrams)
开发语言·javascript·人工智能·python
froginwe112 小时前
Redis 管道技术
开发语言
u0109272712 小时前
C++中的RAII技术深入
开发语言·c++·算法
superman超哥3 小时前
Serde 性能优化的终极武器
开发语言·rust·编程语言·rust serde·serde性能优化·rust开发工具