Mozilla's systems programming language Rust
Traits
Traits are designed for code abstraction across data type borders. They ensure that developers use generic functions similarly to typeclasses of the Haskell [5] functional programming language.
Listing 3 creates the trait Dimension
, which in line 2 only sets the signature of the method volume()
. Implementations follow in line 9 for a sphere (data type Sphere
) and in line 15 for a cube (data type Cube
).
Listing 3
Body Calculations (trait.rs)
The signature (line 2) is relevant because it affects the method volume()
, which the code in lines 10-12 defines for the data type Sphere
. Line 11 calculates the sphere volume and reads the required radius from the field of the same name. The same approach is taken in lines 19-23 for the Cube
data type.
The program's main routine in lines 33-36 invokes the generic function print_volume()
with a value for the data types Sphere
and Cube
in each case. All values whose corresponding data type is implemented by Dimension
can be adopted here. The trait is named in line 25 after the abstract type variable T
and the colon.
If the program then invokes print_volume()
, the volume()
method runs against a matching data type. The println
macro outputs the results.
Macros
Macros generate code at compilation time that often greatly reduces programming effort. The programmer can use macros like println
very much like a function. However, an exclamation mark follows the name of a macro, as shown in line 8 of Listing 4.
Listing 4
Macros (macro.js)
Macros differ even more clearly from functions in terms of their syntax. The first five lines of Listing 4 show the code of the invoked macro length
. The name of the macro follows the keyword macro_rules!
.
Rust matches ($expression:expr)
for each call with the parameters transferred. The pattern is, however, so generic that it works for any value. At the same time, it stores the transferred value in the metavariable $expression
. The specification :expr
qualifies the value in the variable as a Rust expression.
If Rust notes a match while comparing, the block from line 2 evaluates it. In line 3, the stringify
macro converts the value from the metavariable to a character string whose length, as before, is output by println
. Anyone who compiles and executes the file macro.js
with
rustc macro.js && ./macro
will see the message The length of the expression is: 5 as the result.
Cargo
Like Gems [6] in Ruby or Pip [7] in Python, Rust also has its own package manager, Cargo [8], which generates and manages Rust packages at the command line. The Rust community currently offers around 2,200 finished packages [9] (Figure 1). The command
curl -sSf https://static.rust-lang.org/rustup.sh | sh
installs not only the latest stable binary version of the Rust compiler on Linux, but Cargo as well. The
cargo new test
command builds the directory structure shown in Listing 5 as a frame for the Rust package test
in the same folder.
Listing 5
Typical Directory Structure
The file Cargo.toml
(Listing 6) backs up the metadata for the package. GitHub describes the format of the Toml [10] language used in this specification. The configuration file contains the name, version, and the authors, where appropriate, as well as the package dependencies in INI style.
Listing 6
Cargo.toml
The file lib.rs
(Listing 7) contains the Rust code for the package, which you can include in your Rust programs later with the help of the assignment use test;
. You can then cd test
to enter the package directory and compile the project using cargo build
with the rustc
Rust compiler.
Listing 7
lib.rs
Using cargo test
(Figure 2), you can filter lib.rs
test functions such as gt_zero()
out of the package and then execute them. The Rust option #[test]
reveals gt_zero()
as the test function. Supported by the macro assert
, it generates the test result for the test 1>0
.
« Previous 1 2 3 Next »
Buy this article as PDF
(incl. VAT)
Buy Linux Magazine
Subscribe to our Linux Newsletters
Find Linux and Open Source Jobs
Subscribe to our ADMIN Newsletters
Support Our Work
Linux Magazine content is made possible with support from readers like you. Please consider contributing when you’ve found an article to be beneficial.
News
-
Fedora 40 Beta Released Soon
With the official release of Fedora 40 coming in April, it's almost time to download the beta and see what's new.
-
New Pentesting Distribution to Compete with Kali Linux
SnoopGod is now available for your testing needs
-
Juno Computers Launches Another Linux Laptop
If you're looking for a powerhouse laptop that runs Ubuntu, the Juno Computers Neptune 17 v6 should be on your radar.
-
ZorinOS 17.1 Released, Includes Improved Windows App Support
If you need or desire to run Windows applications on Linux, there's one distribution intent on making that easier for you and its new release further improves that feature.
-
Linux Market Share Surpasses 4% for the First Time
Look out Windows and macOS, Linux is on the rise and has even topped ChromeOS to become the fourth most widely used OS around the globe.
-
KDE’s Plasma 6 Officially Available
KDE’s Plasma 6.0 "Megarelease" has happened, and it's brimming with new features, polish, and performance.
-
Latest Version of Tails Unleashed
Tails 6.0 is based on Debian 12 and includes GNOME 43.
-
KDE Announces New Slimbook V with Plenty of Power and KDE’s Plasma 6
If you're a fan of KDE Plasma, you'll be thrilled to hear they've announced a new Slimbook with an AMD CPU and the latest version of KDE Plasma desktop.
-
Monthly Sponsorship Includes Early Access to elementary OS 8
If you want to get a glimpse of what's in the pipeline for elementary OS 8, just set up a monthly sponsorship to help fund its continued existence.
-
DebConf24 to be Held in South Korea
Busan will be the location of the latest DebConf running July 28 through August 4