Как Rust наконец получил спецификацию – благодаря пожертвованию в open source от консалтинговой компании

К 10-летнему юбилею Rust «не хватает важного документа, который предоставляют многие другие языки», — отмечает Rust Foundation.

Хотя есть документация и учебные пособия, официальной спецификации языка нет.

В декабре 2022 года был подан RFC с предложением начать работу над спецификацией проекта Rust. После долгих обсуждений RFC был одобрен в июле 2023 года, и работа началась.

Изначально команда по спецификациям проекта Rust (t-spec) хотела создать документ с нуля, используя Справочник Rust в качестве руководства. Однако команда знала, что уже существует внешняя спецификация Rust, которая успешно используется для квалификации компиляторов — FLS.

Благодарим берлинскую компанию Ferrous Systems, консалтинговую фирму, работающую на основе Rust, за составление этой спецификации «несколько лет назад», как сказано в блоге Rust:

Они с тех пор верой и правдой поддерживают и обновляют этот документ для новых версий Rust, а также успешно использовали его для квалификации инструментальных цепочек на основе Rust для использования в отраслях с повышенными требованиями к безопасности. [Rust Foundation отмечает, что это часть инструментария компилятора/инструментальной цепочки «Ferrocene» консалтинговой компании.] Видя этот успех, другие также начали полагаться на FLS для собственных усилий по квалификации при сборке с использованием Rust.

Rust Foundation объясняет:

FLS предоставляет структурированное и подробное описание синтаксиса, семантики и поведения Rust, служа основой для верификации, соответствия и стандартизации. Поскольку у Rust не было официальной спецификации языка до этого времени, а также плана ее написания, FLS представлял собой важный шаг в направлении описания Rust таким образом, чтобы он соответствовал требованиям отрасли, особенно в областях с высокой степенью надежности.

И проект Rust «страстно стремится создать официальную спецификацию», — говорит Rust Foundation. Это очень радостное событие для всей экосистемы Rust.

«Я очень ценю то, что Ferrous сделала этот шаг, предоставив свою спецификацию проекту Rust», — сказал Джоэль Марси (Joel Marcey), директор по технологиям в Rust Foundation и член команды t-spec. «Они уже проделали огромную работу…». Это усилие обеспечит другим, кому требуется спецификация Rust, официальный и авторитетный справочник для своей работы с языком программирования Rust.

Сооснователь Ferrous Systems Феликс Гилчер (Felix Gilcher) также прозвучал взволнованным. «Мы изначально создали спецификацию языка Ferrocene, чтобы предоставить структурированное и надежное описание Rust для сертификации компилятора Ferrocene. Как компания, ориентированная на открытый исходный код, передача FLS проекту Rust является логичным шагом в направлении содействия развитию единой спецификации, создаваемой сообществом, которая будет полезна всем пользователям Rust».