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

相关推荐
南境十里·墨染春水6 小时前
C++传记(面向对象)虚析构函数 纯虚函数 抽象类 final、override关键字
开发语言·c++·笔记·算法
无巧不成书02187 小时前
30分钟入门Java:从历史到Hello World的小白指南
java·开发语言
2301_797172757 小时前
基于C++的游戏引擎开发
开发语言·c++·算法
比昨天多敲两行8 小时前
C++ 二叉搜索树
开发语言·c++·算法
Birdy_x8 小时前
接口自动化项目实战(1):requests请求封装
开发语言·前端·python
海海不瞌睡(捏捏王子)8 小时前
C++ 知识点概要
开发语言·c++
桌面运维家9 小时前
VLAN配置进阶:抑制广播风暴,提升网络效率
开发语言·网络·php
一轮弯弯的明月10 小时前
Python基础-速通秘籍(下)
开发语言·笔记·python·学习
西西学代码10 小时前
Flutter---回调函数
开发语言·javascript·flutter
大尚来也10 小时前
深入HashMap底层:从JDK1.7到1.8的架构演进与性能突围
开发语言