The official Rust logo | |
Paradigms | |
---|---|
Designed by | Graydon Hoare |
First appeared | May 15, 2015 |
Stable release | 1.69.0[1] ![]() |
Typing discipline | |
Implementation language | Rust |
Platform | Cross-platform[note 1] |
OS | Cross-platform[note 2] |
License | MIT and Apache 2.0 (dual-licensed)[note 3] |
Filename extensions | .rs , .rlib |
Website | www |
Influenced by | |
Influenced | |
Rust is a multi-paradigm, general-purpose programming language that emphasizes performance, type safety, and concurrency. It enforces memory safety—ensuring that all references point to valid memory—without requiring the use of a garbage collector or reference counting present in other memory-safe languages. To simultaneously enforce memory safety and prevent concurrent data races, its "borrow checker" tracks the object lifetime of all references in a program during compilation. Rust borrows ideas from functional programming, including static types, immutability, higher-order functions, and algebraic data types. It is popularized for systems programming.[12][13][14]
Software developer Graydon Hoare created Rust as a personal project while working at Mozilla Research in 2006. Mozilla officially sponsored the project in 2009. Since the first stable release in May 2015, Rust has been adopted by companies including Amazon, Discord, Dropbox, Facebook (Meta), Google (Alphabet), and Microsoft. In December 2022, it became the first language other than C and assembly to be supported in the development of the Linux kernel.
Rust has been noted for its growth as a newer language[15][16] and has been the subject of academic programming languages research.[17][18][19]
Rust grew out of a personal project begun in 2006 by Mozilla Research employee Graydon Hoare. Mozilla began sponsoring the project in 2009 as a part of the ongoing development of an experimental browser engine called Servo,[20] which was officially announced by Mozilla in 2010.[21][22] During the same year, work shifted from the initial compiler written in OCaml to a self-hosting compiler based on LLVM written in Rust. The new Rust compiler successfully compiled itself in 2011.[20]
Hoare would later state that Rust was named after the rust fungus, with reference to the fungus's hardiness.[23][24]
Rust's type system underwent significant changes between versions 0.2, 0.3, and 0.4. In version 0.2, which was released in March 2012, classes were introduced for the first time.[25] Four months later, version 0.3 added destructors and polymorphism, through the use of interfaces.[26] In October 2012, version 0.4 was released, which added traits as a means of inheritance. Interfaces were combined with traits and removed as a separate feature; and classes were replaced by a combination of implementations and structured types.[27] Prior to version 0.4, Rust also supported typestate analysis, through contracts; but that was removed in release 0.4, though the same functionality can be achieved by leveraging Rust's type system.[28]
In January 2014, the editor-in-chief of Dr. Dobb's Journal, Andrew Binstock, commented on Rust's chances of becoming a competitor to C++, along with D, Go, and Nim (then Nimrod). According to Binstock, while Rust was "widely viewed as a remarkably elegant language", adoption slowed because it radically changed from version to version.[29] The first stable release, Rust 1.0, was announced on May 15, 2015.[30][31]
In August 2020, Mozilla laid off 250 of its 1,000 employees worldwide, as part of a corporate restructuring caused by the COVID-19 pandemic.[32][33] The team behind Servo, a browser engine written in Rust, was disbanded. The event raised concerns about the future of Rust, as some members of the team were active contributors to Rust.[34] In the following week, the Rust Core Team acknowledged the severe impact of the layoffs and announced that plans for a Rust foundation were underway. The first goal of the foundation would be to take ownership of all trademarks and domain names, and take financial responsibility for their costs.[35]
On February 8, 2021, the formation of the Rust Foundation was announced by its five founding companies (AWS, Huawei, Google, Microsoft, and Mozilla).[36][37] In a blog post published on April 6, 2021, Google announced support for Rust within the Android Open Source Project as an alternative to C/C++.[38][39]
On November 22, 2021, the Moderation Team, which was responsible for enforcing community standards and the Code of Conduct, announced their resignation "in protest of the Core Team placing themselves unaccountable to anyone but themselves."[40] In May 2022, the Rust Core Team, other lead programmers, and certain members of the Rust Foundation board implemented governance reforms in response to the incident.[41]
The Rust Foundation posted a draft for a new trademark policy on April 6, 2023, revising its rules on how the Rust logo and name can be used, which resulted in negative reactions from Rust users and contributors.[42]
Rust's syntax is similar to that of C and C++,[43][44] although many of its features are more influenced by functional programming languages.[45] It aims to support concurrent systems programming, which has inspired a feature set emphasizing safety, control of memory layout, and concurrency.[46] Safety in Rust includes the guarantees of memory safety, type safety, and lack of data races.
Below is a "Hello, World!" program in Rust. The fn
keyword denotes a function, and the println!
macro prints the message to standard output.[47] Statements in Rust are separated by semicolons.
fn main() {
println!("Hello, World!");
}
In Rust, blocks of code are delimited by curly brackets, and control flow is implemented by keywords such as if
, else
, while
, and for
.[48] Pattern matching can be done using the match
keyword.[49] In the examples below, explanations are given in comments, which start with //
.[50]
fn main() {
// Defining a mutable variable with 'let mut'
// Using the macro vec! to create a vector
let mut values = vec![1, 2, 3, 4];
for value in &values {
println!("value = {}", value);
}
if values.len() > 5 {
println!("List is longer than five items");
}
// Pattern matching
match values.len() {
0 => println!("Empty"),
1 => println!("One value"),
2..=10 => println!("Between two and ten values"),
11 => println!("Eleven values"),
_ => println!("Many values"),
};
// while loop with predicate and pattern matching using let
while let Some(value) = values.pop() {
println!("value = {value}"); // using curly braces to format a local variable
}
}
Rust is expression-oriented, with nearly every part of a function body being an expression, including control-flow operators.[51] The ordinary if
expression is used instead of C's ternary conditional. With returns being implicit, a function does not need to end with a return
expression; if the semicolon is omitted, the value of the last expression in the function is used as the return value,[52] as seen in the following recursive implementation of the factorial function:
fn factorial(i: u64) -> u64 {
if i == 0 {
1
} else {
i * factorial(i - 1)
}
}
The following iterative implementation uses the ..=
operator to create an inclusive range:
fn factorial(i: u64) -> u64 {
(2..=i).product()
}
Rust is strongly typed and statically typed. The types of all variables must be known at compilation time; assigning a value of a particular type to a differently typed variable causes a compilation error. Variables are declared with the keyword let
, and type inference is used to determine their type. The variable does not need to be assigned initially, but a compile-time error results if any branch of code leaves the variable without an assignment.[53] Variables assigned multiple times must be marked with the keyword mut
(short for mutable).[54]
The default integer type is i32
, and the default floating point type is f64
. If the type of a literal number is not explicitly provided, either it is inferred from the context or the default type is used.[55]
Type | Description | Examples |
---|---|---|
bool
|
Boolean value |
|
u8
|
Unsigned 8-bit integer (a byte) | |
|
Signed integers, up to 128 bits | |
|
Unsigned integers, up to 128 bits | |
|
Pointer-sized integers (size depends on platform) | |
|
Floating-point numbers |
|
char
|
|
|
&str
|
Strings (static or immutable) |
|
[T; N]
|
Static arrays (size known at compile-time) |
|
[T]
|
Static arrays (size not known at compile-time) |
|
|
Tuples |
|
!
|
Never type (unreachable value) | let x = { return 123 };
|
Type | Description | Examples |
---|---|---|
Box<T>
|
Values in the heap | Box::new(5)
|
String
|
Strings (dynamic) |
|
Vec<T>
|
Dynamic arrays |
|
Option<T>
|
Option type |
|
Result<T, E>
|
Error handling |
|
Option
values are handled using syntactic sugar, such as the if let
construction, to access the inner value (in this case, a string):[57]
fn main() {
let name1: Option<&str> = None;
// In this case, nothing will be printed out
if let Some(name) = name1 {
println!("{name}");
}
let name2: Option<&str> = Some("Matthew");
// In this case, the word "Matthew" will be printed out
if let Some(name) = name2 {
println!("{name}");
}
}
Type | Description | Examples |
---|---|---|
|
References (immutable and mutable) |
|
|
|
|
|
|
|
Rust does not use null pointers to indicate a lack of data, as doing so can lead to null dereferencing. Accordingly, the basic &
and &mut
references are guaranteed to not be null. Rust instead uses Option
for this purpose: Some(T)
indicates that a value is present, and None
is analogous to the null pointer.[58] Option
implements a "null pointer optimization", avoiding any overhead for types that cannot have a null value (references or the NonZero
types, for example).
Unlike references, the raw pointer types *const
and *mut
may be null; however, it is impossible to dereference them unless the code is explicitly declared unsafe through the use of an unsafe
block. Unlike dereferencing, the creation of raw pointers is allowed inside of safe Rust code.[59]
User-defined types are created with the struct
or enum
keywords. The struct
keyword is used to denote a record type that groups multiple related values.[60] enum
s can take on different variants in runtime, with its capabilities similar to algebraic data types found in functional programming languages.[61] Both structs and enums can contain fields with different types.[62] Alternative names for the same type can be defined with the type
keyword.[63]
The impl
keyword can define methods for a user-defined type (data and functions are defined separately). Implementations fulfill a role similar to that of classes within other languages.[64]
Rust's ownership system consists of rules that ensure memory safety without using a garbage collector. At run time, each value must be attached to a variable called the owner of that value, and every value must have exactly one owner.[65] Values are moved between different owners through assignment or passing a value as a function parameter. Values can also be borrowed, meaning they are temporarily passed to a different function before being returned to the owner.[66] With these rules, Rust can prevent the creation and use of dangling pointers:[66][67]
fn print_string(s: String) {
println!("{}", s);
}
fn main() {
let s = String::from("Hello, World");
print_string(s); // s consumed by print_string
// s has been moved, so cannot be used any more
// another print_string(s); would result in a compile error
}
Because of these ownership rules, Rust types are known as linear or affine types, meaning each value can be used exactly once. This enforces a form of software fault isolation as the owner of a value is solely responsible for its correctness and deallocation.[68]
Lifetimes are usually an implicit part of all reference types in Rust. Each lifetime encompasses a set of locations in the code for which a variable is valid. The borrow checker in the Rust compiler uses lifetimes to ensure that the values a reference points to remain valid. It also ensures that a mutable reference exists only if no immutable references exist at the same time.[69][70] Rust's memory and ownership system was influenced by region-based memory management in languages such as Cyclone and ML Kit.[6]
Rust defines the relationship between the lifetimes of the objects created and used by functions, using lifetime parameters, as a signature feature.[71]
When a stack or temporary variable goes out of scope, it is dropped by running its destructor. The destructor may be programmatically defined through the drop
function. This technique enforces the so-called resource acquisition is initialization (RAII) design pattern, in which resources, such as file descriptors or network sockets, are tied to the lifetime of an object: when the object is dropped, the resource is closed.[72][73]
The example below parses some configuration options from a string and creates a struct containing the options. The struct only contains references to the data; so, for the struct to remain valid, the data referred to by the struct must be valid as well. The function signature for parse_config
specifies this relationship explicitly. In this example, the explicit lifetimes are unnecessary in newer Rust versions, due to lifetime elision, which is an algorithm that automatically assigns lifetimes to functions if they are trivial.[74]
use std::collections::HashMap;
// This struct has one lifetime parameter, 'src. The name is only used within the struct's definition.
#[derive(Debug)]
struct Config<'src> {
hostname: &'src str,
username: &'src str,
}
// This function also has a lifetime parameter, 'cfg. 'cfg is attached to the "config" parameter, which
// establishes that the data in "config" lives at least as long as the 'cfg lifetime.
// The returned struct also uses 'cfg for its lifetime, so it can live at most as long as 'cfg.
fn parse_config<'cfg>(config: &'cfg str) -> Config<'cfg> {
let key_values: HashMap<_, _> = config
.lines()
.filter(|line| !line.starts_with('#'))
.filter_map(|line| line.split_once('='))
.map(|(key, value)| (key.trim(), value.trim()))
.collect();
Config {
hostname: key_values["hostname"],
username: key_values["username"],
}
}
fn main() {
let config = parse_config(
r#"hostname = foobar
username=barfoo"#,
);
println!("Parsed config: {:#?}", config);
}
Rust is designed to be memory safe. It does not permit null pointers, dangling pointers, or data races.[75][76][77] Data values can be initialized only through a fixed set of forms, all of which require their inputs to be already initialized.[78]
Unsafe code can subvert some of these restrictions, using the unsafe
keyword.[59] Unsafe code may also be used for low-level functionality, such as volatile memory access, architecture-specific intrinsics, type punning, and inline assembly.[79]
Rust does not use automated garbage collection. Memory and other resources are managed through the "resource acquisition is initialization" convention,[80] with optional reference counting. Rust provides deterministic management of resources, with very low overhead.[81] Values are allocated on the stack by default, and all dynamic allocations must be explicit.[82]
The built-in reference types using the &
symbol do not involve run-time reference counting. The safety and validity of the underlying pointers is verified at compile time, preventing dangling pointers and other forms of undefined behavior.[83] Rust's type system separates shared, immutable references of the form &T
from unique, mutable references of the form &mut T
. A mutable reference can be coerced to an immutable reference, but not vice versa.[84]
Rust's more advanced features include the use of generic functions. A generic function is given generic parameters, which allow the same function to be applied to different variable types. This capability reduces duplicate code[85] and is known as parametric polymorphism.
The following program calculates the sum of two things, for which addition is implemented using a generic function:
use std::ops::Add;
// sum is a generic function with one type parameter, T
fn sum<T>(num1: T, num2: T) -> T
where
T: Add<Output = T>, // T must implement the Add trait where addition returns another T
{
num1 + num2 // num1 + num2 is syntactic sugar for num1.add(num2) provided by the Add trait
}
fn main() {
let result1 = sum(10, 20);
println!("Sum is: {}", result1); // Sum is: 30
let result2 = sum(10.23, 20.45);
println!("Sum is: {}", result2); // Sum is: 30.68
}
At compile time, polymorphic functions like sum
are instantiated with the specific types the code requires (in this case, sum of integers and sum of floats).
Generics can be used in functions to allow implementing a behavior for different types without repeating the same code. Generic functions can be written in relation to other generics, without knowing the actual type.[86]
Rust's type system supports a mechanism called traits, inspired by type classes in the Haskell language, to define shared behavior between different types. For example, the Add
trait can be implemented for floats and integers, which can be added; and the Display
or Debug
traits can be implemented for any type that can be converted to a string. Traits can be used to provide a set of common behavior for different types without knowing the actual type. This facility is known as ad hoc polymorphism.
Generic functions can constrain the generic type to implement a particular trait or traits; for example, an add_one
function might require the type to implement Add
. This means that a generic function can be type-checked as soon as it is defined. The implementation of generics is similar to the typical implementation of C++ templates: a separate copy of the code is generated for each instantiation. This is called monomorphization and contrasts with the type erasure scheme typically used in Java and Haskell. Type erasure is also available via the keyword dyn
(short for dynamic).[87] Because monomorphization duplicates the code for each type used, it can result in more optimized code for specific-use cases, but compile time and size of the output binary are also increased.[88]
In addition to defining methods for a user-defined type, the impl
keyword can be used to implement a trait for a type.[64] Traits can provide additional derived methods when implemented.[89] For example, the trait Iterator
requires that the next
method be defined for the type. Once the next
method is defined, the trait can provide common functional helper methods over the iterator, such as map
or filter
.[90]
Traits follow the composition over inheritance design principle.[91] That is, traits cannot define fields themselves; they provide a restricted form of inheritance where methods can be defined and mixed in to implementations.
Rust traits are implemented using static dispatch, meaning that the type of all values is known at compile time; however, Rust also uses a feature known as trait objects to accomplish dynamic dispatch (also known as duck typing).[92] Dynamically dispatched trait objects are declared using the syntax Box<dyn Tr>
where Tr
is a trait. For example, the following code creates a list of objects where each object can be printed out: let v: Vec<Box<dyn Display>> = vec![Box::new(3), Box::new(5.0), Box::new("hi")]
.[92] Trait objects are dynamically sized; however, prior to the 2018 edition, the dyn
keyword was optional.[93] A trait object is essentially a fat pointer that includes a pointer as well as additional information about what type is being pointed to.[94]
For loops in Rust work in a functional style as operations over an iterator type. For example, in the loop
for x in 0..100 {
f(x);
}
0..100
is a value of type Range
which implements the Iterator
trait; the code applies the function f
to each element returned by the iterator. Iterators can be combined with functions over iterators like map
, filter
, and sum
. For example, the following adds up all numbers between 1 and 100 that are multiples of 3:
(1..=100).filter(|&x| x % 3 == 0).sum()
It is possible to extend the Rust language using macros.
A declarative macro (also called a "macro by example") is a macro that uses pattern matching to determine its expansion.[95][96]
Procedural macros are Rust functions that run and modify the compiler's input token stream, before any other components are compiled. They are generally more flexible than declarative macros, but are more difficult to maintain due to their complexity.[97][98]
Procedural macros come in three flavors:
custom!(...)
#[derive(CustomDerive)]
#[custom_attribute]
The println!
macro is an example of a function-like macro. Theserde_derive
macro[99] provides a commonly used library for generating code
for reading and writing data in many formats, such as JSON. Attribute macros are commonly used for language bindings, such as the extendr
library for Rust bindings to R.[100]
The following code shows the use of the Serialize
, Deserialize
, and Debug
-derived procedural macros
to implement JSON reading and writing, as well as the ability to format a structure for debugging.
use serde_json::{Serialize, Deserialize};
#[derive(Serialize, Deserialize, Debug)]
struct Point {
x: i32,
y: i32,
}
fn main() {
let point = Point { x: 1, y: 2 };
let serialized = serde_json::to_string(&point).unwrap();
println!("serialized = {}", serialized);
let deserialized: Point = serde_json::from_str(&serialized).unwrap();
println!("deserialized = {:?}", deserialized);
}
Rust has a foreign function interface (FFI) that can be used both to call code written in languages such as C from Rust and to call Rust code from those languages. Rust also has a library, CXX, for calling to or from C++.[101] Rust and C differ in how they lay out structs in memory, so Rust structs may be given a #[repr(C)]
attribute, forcing the same layout as the equivalent C struct.[102]
Besides the compiler and standard library, the Rust ecosystem includes additional components for software development. Component installation is typically managed by rustup
, a Rust toolchain installer developed by the Rust project.[103]
The Rust standard library is divided into three crates: core
, alloc
, and std
. When a project is invoked with the crate-level attribute #![no_std]
, the std
crate is excluded.[104]
Cargo is Rust's build system and package manager. It downloads, compiles, distributes, and uploads packages—called crates—that are maintained in an official registry. It also acts as a front-end for Clippy and other Rust components.[15]
By default, Cargo sources its dependencies from the user-contributed registry crates.io, but Git repositories and crates in the local filesystem, and other external sources can also be specified as dependencies.[105]
Rustfmt is a code formatter for Rust. It formats whitespace and indentation to produce code in accordance with a common style, unless otherwise specified. It can be invoked as a standalone program, or from a Rust project through Cargo.[106]
Clippy is Rust's built-in linting tool to improve the correctness, performance, and readability of Rust code. It was created in 2014[107] and named after Microsoft Office's assistant, an anthropomorphized paperclip of the same name.[108] As of 2021, it has more than 450 rules,[109] which can be browsed online and filtered by category.[110][111]
Following Rust 1.0, new features are developed in nightly versions which are released daily. During each six-week release cycle, changes to nightly versions are released to beta, while changes from the previous beta version are released to a new stable version.[112]
Every two or three years, a new "edition" is produced. Editions are released to allow making limited breaking changes, such as promoting await
to a keyword to support async/await features. Editions are largely compatible with each other; migration to a new edition can be assisted with automated tooling.[113]
The most popular language server for Rust is Rust Analyzer, which officially replaced the original language server, RLS, in July 2022.[114] Rust Analyzer provides IDEs and text editors with information about a Rust project; basic features including autocompletion, and the display of compilation errors while editing.[115]
Rust aims "to be as efficient and portable as idiomatic C++, without sacrificing safety".[116] Since it does not perform garbage collection, Rust is often faster than other memory-safe languages.[117][118][119]
Rust provides two "modes": safe and unsafe. Safe mode is the "normal" one, in which most Rust is written. In unsafe mode, the developer is responsible for the code's correctness, making it possible to create applications that make use of low-level features.[120] It has been empirically demonstrated that unsafe Rust does not always perform faster than safe Rust, and can even be slower in some cases.[121]
Many of Rust's features are so-called zero-cost abstractions, meaning they are optimized away at compile time and incur no runtime penalty.[122] The ownership and borrowing system permits zero-copy implementations for some performance-sensitive tasks, such as parsing.[123] Static dispatch is used by default to eliminate method calls, with the exception of methods called on dynamic trait objects.[124] The compiler also uses inline expansion to eliminate function calls and statically-dispatched method invocations.[125]
Since Rust utilizes LLVM, any performance improvements in LLVM also carry over to Rust.[126] Unlike C and C++, Rust allows for reordering struct and enum elements[127] to reduce the sizes of structures in memory, for better memory alignment, and to improve cache access efficiency.[128]
Rust has been used in software spanning across different domains. Rust was initially funded by Mozilla as part of developing Servo, an experimental parallel browser engine, in collaboration with Samsung.[129] Components from the Servo engine were later incorporated in the Gecko browser engine underlying Firefox.[130]
Rust is used in several backend software projects of large web services. OpenDNS, a DNS resolution service owned by Cisco, uses Rust internally.[131][132] Cloudflare, a company providing content delivery network uses Rust for its firewall pattern matching engine.[133][134] Discord, an instant messaging social platform uses Rust for portions of its backend, as well as client-side video encoding.[135] In 2021, Dropbox announced their use of Rust for a screen, video, and image capturing service.[136] Facebook (Meta) used Rust for Mononoke, a server for the Mercurial version control system.[137] Google (Alphabet) announced support for Rust in the Android operating system also in 2021.[38][138]
Amazon Web Services has developed projects in Rust since 2017,[139] including Firecracker, a virtualization solution;[140] Bottlerocket, a Linux distribution and containerization solution;[141] and Tokio, an asynchronous networking stack.[142] Microsoft Azure IoT Edge, a platform used to run Azure services on IoT devices, has components implemented in Rust.[143] Microsoft also uses Rust to run containerized modules with WebAssembly and Kubernetes.[144]
In operating systems, the Rust for Linux project was begun in 2021 to add Rust support to the Linux kernel.[145] Support for Rust (along with support for C and Assembly language) was officially added in version 6.1.[146] Redox is a "Unix-like operating system" that includes a microkernel written in Rust.[147] Theseus is an experiment in operating system design using Rust to enforce modular state management between operating system components.[148][149] Rust is also used for command-line tools and specific operating system components, including stratisd, is a file system manager[150][151] and COSMIC, a desktop environment by System76.[152][153]
Microsoft announced in 2020 that parts of Microsoft Windows are being rewritten in Rust. As of 2023, DWriteCore, a system library for text layout and glyph render, has about 152,000 lines of Rust code and about 96,000 lines of C++ code, and saw a performance increase of 5 to 15 percent in some cases.[154]
In web development, Deno, a secure runtime for JavaScript and TypeScript, is built with V8, Rust, and Tokio.[155] Ruffle is an open-source SWF emulator written in Rust.[156] Other notable projects include TerminusDB, an open source distributed graph database for knowledge graphs,[157] and Polkadot, an open source blockchain platform and cryptocurrency.[158]
In the 2022 Stack Overflow Developer Survey, 9% of respondents had recently done extensive development in Rust.[159] The survey also named Rust the "most loved programming language" every year from 2016 to 2022 (inclusive), based on the number of developers interested in continuing to work in the same language.[160][note 7] In 2022, Rust tied with Python for "most wanted technology", with 18% of developers not currently working in Rust expressing an interest in doing so.[159][161]
Rust's official website lists online forums, messaging platforms, and in-person meetups for the Rust community.[163] Conferences dedicated to Rust development in the past have included:
Formation | February 8, 2021 |
---|---|
Founders | |
Type | Nonprofit organization |
Location | |
Shane Miller | |
Rebecca Rumbul | |
Website | foundation |
The Rust Foundation is a non-profit membership organization incorporated in United States, with the primary purposes of backing the technical project as a legal entity and helping to manage the trademark and infrastructure assets.[171][44]
It was established on February 8, 2021, with five founding corporate members (Amazon Web Services, Huawei, Google, Microsoft, and Mozilla).[172] The foundation's board is chaired by Shane Miller.[173] Starting in late 2021, its Executive Director and CEO is Rebecca Rumbul.[174] Prior to this, Ashley Williams was interim executive director.[175]
The Rust project is composed of teams that are responsible for different subareas of the development. For example, the Core team manages Rust's overall direction, supervises subteams, and deals with cross-cutting issues; the compiler team develops, manages, and optimizes compiler internals; and the language team is in charge of designing and helping to implement new language features.[176][177]