Risposta

In Rust si utilizza una tipizzazione statica rigorosa: i tipi di tutte le variabili e funzioni sono noti in fase di compilazione e non possono cambiare a runtime. Questo significa che il compilatore rileverà in anticipo la maggior parte degli errori legati all'uso improprio dei tipi, prima che il programma venga eseguito.

La tipizzazione statica fornisce:

• Rilevamento precoce degli errori durante la compilazione, migliorando la robustezza e prevenendo un'ampia gamma di bug.
• Ottimizzazione delle prestazioni, poiché il compilatore sa esattamente quali tipi vengono utilizzati e può generare codice macchina più efficiente.
• Sicurezza nella gestione della memoria: Rust non consente conversioni di tipi non valide, riducendo il rischio di errori, ad esempio, nella gestione dei puntatori.

Esempio:

let x: i32 = 5;
let y: f64 = 2.0;
let z = x as f64 + y; // corretto: x viene convertito in f64
// let w = x + y; // errore di compilazione: tipi diversi

Domanda trabocchetto

Come implementare in Rust una funzione che lavora sia con numeri che con stringhe? È sufficiente usare il tipo dyn Any?

Risposta: L'uso di dyn Any consente di eseguire il downcast dei tipi, ma per funzioni generiche in Rust è preferibile utilizzare generics e traits con vincoli. Ad esempio:

use std::fmt::Display;
fn print_value<T: Display>(val: T) {
    println!("{}", val);
}

Esempi di errori reali dovuti alla mancanza di conoscenza delle sottigliezze dell'argomento

---

Storia

In un grande progetto di analisi dei dati, hanno cercato di unire diverse collezioni numeriche senza indicare esplicitamente il tipo, causando un cast implicito. Questo ha portato a comportamenti inaspettati durante ulteriori calcoli, evidenziati solo durante un overflow. Risultato: diversi giorni per il refactoring dei tipi e la precisazione dei vincoli di tipo per escludere errori simili.

Storia

Un sviluppatore ha cercato di determinare dinamicamente il tipo di parametro attraverso un enum con opzioni per diversi tipi di dati. Il compilatore non ha permesso la serializzazione dell'enum senza aggiungere i corrispondenti macro derive (#[derive(Serialize)]), il che ha ritardato il rilascio di un giorno.

Storia

In uno dei progetti fintech, i programmatori pensavano che Rust convertisse automaticamente i tipi nelle espressioni aritmetiche, come fanno Python o JavaScript. Di conseguenza, durante la fase di compilazione, si sono riversati centinaia di errori, e è stato necessario rifare parte del codice, specificando esplicitamente le conversioni di tipo.