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

相关推荐
幼稚园的山代王9 分钟前
Kotlin-基础语法练习一
android·开发语言·kotlin
重生成为编程大王17 分钟前
Java ConcurrentHashMap 深度解析
java·开发语言
tanyongxi661 小时前
C++ 特殊类设计与单例模式解析
java·开发语言·数据结构·c++·算法·单例模式
遗憾皆是温柔1 小时前
24. 什么是不可变对象,好处是什么
java·开发语言·面试·学习方法
wearegogog1231 小时前
C语言中的输入输出函数:构建程序交互的基石
c语言·开发语言·交互
Fine姐1 小时前
The Network Link Layer: 无线传感器中Delay Tolerant Networks – DTNs 延迟容忍网络
开发语言·网络·php·硬件架构
HAPPY酷2 小时前
给纯小白的Python操作 PDF 笔记
开发语言·python·pdf
liulilittle2 小时前
BFS寻路算法解析与实现
开发语言·c++·算法·宽度优先·寻路算法·寻路
阿珊和她的猫2 小时前
autofit.js: 自动调整HTML元素大小的JavaScript库
开发语言·javascript·html
喜欢吃燃面2 小时前
C++算法竞赛:位运算
开发语言·c++·学习·算法