Rust (llenguatge de programació)
Tipus | llenguatge de programació procedural, llenguatge de programació funcional, llenguatge de programació multiparadigma, llenguatge de programació imperatiu, llenguatge de programació de sistemes, programari lliure i de codi obert, Llenguatge de programació compilat i llenguatge de programació |
---|---|
Data de creació | 2006 i 23 juliol 2006 |
Disseny | Graydon Hoare |
Desenvolupador | Mozilla, Graydon Hoare i Rust Foundation |
Epònim | Uredinal |
Paradigma de programació | systems programming (en) , programació funcional, computació concurrent, programació genèrica, llenguatge imperatiu i programació orientada a objectes |
Darrera versió estable | 1.82.0 () |
Influenciat per | Alef, C++, C#, Cyclone, Erlang, Haskell, Limbo, Newsqueak, OCaml, Ruby, Scheme, ML Estàndard i Swift |
Extensió dels fitxers | rs i rlib |
Codi font | Codi font |
Llicència | Llicència Apache, versió 2.0 i llicència MIT |
Etiqueta d'Stack Exchange | Etiqueta |
Pàgina web | rust-lang.org |
Rust és un llenguatge de programació de sistemes[1] multi-paradigma estàtic. Està dissenyat amb garanties de seguretat, això ho aconsegueix gràcies a un seguit de regles que el compilador comprova amb el borrow checker, gràcies a aquestes garanties[2] es pot escriure codi segur i concurrent sense por.[3]
Igual que C++, no fa servir recollida de memòria brossa.
Rust és software de codi obert[4] amb doble llicència[5] (Apache License 2.0 i MIT).
A més de ser segur, també és molt ràpid, comparable amb C i C++.[6][7]
Rust ha estat el llenguatge de programació "més estimat" segons l'enquesta de Stack Overflow des del 2016.[8]
Història
[modifica]Rust va ser concebut per Graydon Hoare amb el suport de l'empresa Mozilla l'any 2006.[9][10][11]
L'any 2019 va ser el primer any de pèrdues econòmiques per a la Fundació Mozilla, comportant l'abandó de molts dels seus projectes i el 2020 gran quantitat de treballadors foren acomiadats, entre ells, molts desenvolupadors de Rust.[12]
El febrer de 2021 va nàixer la Rust Foundation,[13] una entitat sense ànim de lucre que porta per lema "el bon programari és creat per persones alegres i ben ajudades". Entre les empreses que donen suport econòmic a la Rust Fundation hi ha la mateixa Mozilla, Amazon Web Services, Google, Huawei o Microsoft.[14]
Característiques
[modifica]Seguretat en la gestió de memòria
[modifica]Rust està dissenyat per ser segur quant a la gestió de memòria, no permet valors nuls, punters que apunten a memòria retornada al sistema, data races.
Aquesta seguretat l'aconsegueix analitzant el codi en temps de compilació, gràcies a les regles del borrow checker[15], les quals algunes estan demostrades formalment.[16]
Té una sintaxi similar a C++, però la majoria d'elements són expressions, inclús els operadors de control de flux.
En comptes de classes té estructures, similar al struct de C, aquestes estructures poden implementar interfícies abstractes mitjançant els traits.[17]
Les macros en rust treballen en AST directament,[18] on en C++ el preprocessador actua sobre text.
Aquest petit programa pinta la tira "Hello, world!" a la sortida estàndard:
fn main() {
// El signe '!' afegit a un identificador indica crida a una macro
println!("Hello, world!");
}
Operacions amb vectors (arrays) :
use std::mem;
// Aquesta és una funció sobre una subseqüència (ang: slice)
fn analyze_slice(slice: &[i32]) {
println!("first element of the slice: {}", slice[0]);
println!("the slice has {} elements", slice.len());
}
fn main() {
// Vector de mida fixa; la signatura és supèrflua
let xs: [i32; 5] = [1, 2, 3, 4, 5];
// Tots els elements inicialitzats al mateix valor
let ys: [i32; 500] = [0; 500];
// La indexació comença pel zero.
println!("primer element de l'array: {}", xs[0]);
println!("segon element de l'array: {}", xs[1]);
// `len` retorna la mida del vector
println!("mida del array: {}", xs.len());
// Els vectors del tipus Array són allotjats a la pila
println!("l'array ocupa {} bytes", mem::size_of_val(&xs));
// Els vectors (Array) poden ser prestats com a subseqüència
println!("borrow the whole array as a slice");
analyze_slice(&xs);
// Les subseqüències (Slices) apunten a una secció d'un vector
println!("borrow a section of the array as a slice");
analyze_slice(&ys[1 .. 4]);
// La indexació fora de marges dispara l'error 'pànic'
println!("{}", xs[5]);
}
Exemple dels lifetimes en Rust:
// Declarem el lifetime 'a, qualsevol referencia continguda al struct
// que utilitza aquest lifetime ha de viure fins que MyStruct es destrueix.
struct MyStruct<'a> {
pub valor: &'a str,
}
fn main() {
// Aquí 'a' té un lifetime 'static, aquest significa que viurà fins al final del programa.
let a = "hello world";
// Vàlid
let b = MyStruct {
valor: a
};
let c;
{
let d = String::from("hello world");
c = &d;
}
// Error al compilar: El valor que c referencia
// ja s'ha destruït perquè ha sortit de la scope.
let d = MyStruct {
valor: c
};
}
/*
Al compilar:
error[E0597]: `d` does not live long enough
--> src/main.rs:19:13
|
19 | c = &d;
| ^^ borrowed value does not live long enough
20 | }
| - `d` dropped here while still borrowed
...
23 | valor: c
| - borrow later used here
error: aborting due to previous error; 2 warnings emitted
For more information about this error, try `rustc --explain E0597`.
error: could not compile `playground`
* /
Referències
[modifica]- ↑ «Foreword - The Rust Programming Language». [Consulta: 1r febrer 2021].
- ↑ «What is Ownership? - The Rust Programming Language». [Consulta: 1r febrer 2021].
- ↑ «Fearless Concurrency - The Rust Programming Language». [Consulta: 1r febrer 2021].
- ↑ «rust-lang/rust», 01-02-2021. [Consulta: 1r febrer 2021].
- ↑ «rust-lang/rust» (en anglès). [Consulta: 1r febrer 2021].
- ↑ «Rust vs C gcc - Which programs are fastest? | Computer Language Benchmarks Game». [Consulta: 1r febrer 2021].
- ↑ «Rust vs C++ g++ - Which programs are fastest? | Computer Language Benchmarks Game». [Consulta: 1r febrer 2021].
- ↑ «Stack Overflow Developer Survey 2020». [Consulta: 1r febrer 2021].
- ↑ «Rust Documentation · The Rust Programming Language» (en anglès). https://www.rust-lang.org.+[Consulta: 9 octubre 2017].
- ↑ «The Rust programming language» (en anglès). https://developer.mozilla.org. Arxivat de l'original el 2017-10-09. [Consulta: 9 octubre 2017].
- ↑ «How Rust Compares to Other Programming Languages - The New Stack» (en anglès). The New Stack, 02-05-2016.
- ↑ Pomeyrol, J. «Mozilla se deshace de Servo, le pasa el muerto a The Linux Foundation» (en castellà). Muy Linux, 17-11-2020. [Consulta: 24 febrer 2021].
- ↑ «Rust Foundation» (en anglès). [Consulta: 16 setembre 2021].
- ↑ Pomeyrol, J. «La Rust Foundation toma forma y recaba sus primeros patrocinadores» (en castellà). Muy Linux, 18-02-2021. [Consulta: 24 febrer 2021].
- ↑ «What is Ownership? - The Rust Programming Language». [Consulta: 16 setembre 2021].
- ↑ Jung, Ralf; Dang, Hoang-Hai; Kang, Jeehoon; Dreyer, Derek «Stacked borrows: an aliasing model for Rust». Proceedings of the ACM on Programming Languages, 4, POPL, 20-12-2019, pàg. 41:1–41:32. DOI: 10.1145/3371109.
- ↑ «Generic Types, Traits, and Lifetimes - The Rust Programming Language». [Consulta: 16 setembre 2021].
- ↑ «Macros - The Rust Programming Language». [Consulta: 16 setembre 2021].