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

相关推荐
skywalk816311 小时前
FreeBSD系统安装VSCode Server(未成功,后来是在FreeBSD系统里的Linux虚拟子系统里安装启动了Code Server)
ide·vscode·编辑器·freebsd
搬砖ing换来金砖11 小时前
Python入门-Task02
开发语言·python
雨中散步撒哈拉12 小时前
17、做中学 | 初三下期 Golang文件操作
开发语言·后端·golang
CoderYanger12 小时前
C.滑动窗口——1423. 可获得的最大点数
java·开发语言·算法·leetcode·1024程序员节
全栈陈序员12 小时前
【Python】基础语法入门(九)—— 代码规范、调试技巧与性能初探
开发语言·python·代码规范
合作小小程序员小小店12 小时前
图书管理系统,基于winform+sql sever,开发语言c#,数据库mysql
开发语言·数据库·sql·microsoft·c#
Yue丶越12 小时前
【C语言】数据在内存中的存储
c语言·开发语言·网络
FakeOccupational12 小时前
电路笔记(信号):网线能传多少米?网线信号传输距离
开发语言·笔记·php
李宥小哥12 小时前
Redis10-原理-网络模型
开发语言·网络·php
利刃大大12 小时前
【c++中间件】语音识别SDK && 二次封装
开发语言·c++·中间件·语音识别