Programmierung: Rust könnte offizielle Spezifikation bekommen
Die Rust-Foundation sowie die für die Programmiersprache zuständige Community könnten bald eine offizielle Spezifikation für die Sprache erstellen. Das berichtet die Teamleiterin der Entwicklung der Rust-Standardbibliothek, Mara Bos, in ihrem Blog(öffnet im neuen Fenster) . Eine endgültige Entscheidung hierzu sei aber noch nicht gefallen.
Der offizielle Status von Programmiersprachen unterscheidet sich. So werden einige Sprachen wie C, C++ oder auch Javascript von internationalen Gremien offiziell standardisiert. In diesen Standards nicht definierte oder unterspezifizierte Verhaltensweise werden teils von konkreten Compiler-Implementierungen genutzt, was wiederum für jeden Compiler spezifiziert werden muss.
Im Unterschied dazu gibt es aber einige vor allem in jüngerer Zeit entstandene Programmiersprachen, die nur über einen kanonischen Compiler und Standardwerkzeuge verfügen. Alles, was kompiliert wird, ist demnach auch konformer Code. Oft wird dies von den Beteiligten nur weitgehend dokumentiert und beschrieben. Eine vollumfängliche Spezifikation wird hingegen selten erstellt, wie dies etwa durch Facebook bei PHP geschehen ist.
Spezifikation teils notwendig
Wie Bos schreibt, reichen die Dokumentation, die gemachten Stabilitätsgarantien sowie speziell dafür erstellte Werkzeuge einigen Teilen der Rust-Community jedoch nicht aus. So erstellen etwa die Entwickler des Projekts für sicherheitskritisches Rust , Ferrocene, derzeit eine Spezifikation für ihre angepasste Version. Diese Spezifikation sei in dem angestrebten Bereich der Nutzung zwingend notwendig, heißt es.
Das Rust-Projekt selbst könnte auf diesen Vorarbeiten aufbauen. Mit Blick auf eine mögliche Spezifikation schreibt Bos: "Es scheint eine allgemeine Übereinstimmung darüber zu geben, dass wir tatsächlich darauf hinarbeiten sollten." Damit sei jedoch sehr viel Arbeit und Zeit verbunden. Mit Freiwilligen allein sei das deshalb wohl nicht umsetzbar, vermutet Bos. Sie hofft auf Unterstützung durch die Rust Foundation und interessierte Unternehmen.
Was Bos darüber hinaus nicht erwähnt, ist, dass auch alternative Implementierungen von Rust von einer offizielle Spezifikation profitieren könnten. Das gilt insbesondere für die Umsetzung des Rust-Compilers in der GCC . Der von der Rust-Community selbst erstellte Compiler basiert auf dem LLVM-Compilerbaukasten.