L’importanza dei tipi forti in C++ e Rust

C++ e Rust sono linguaggi fortemente tipizzati, il che significa che ogni variabile deve avere un tipo specifico, dichiarato esplicitamente o implicitamente. Ad esempio, in Rust possiamo scrivere let fuu: i32 = 123 mentre in C++ utilizziamo int32_t fuu { 123 }. Questa tipizzazione garantisce che un intero contenga solo numeri e non valori in virgola mobile o stringhe. I tipi forti offrono un contratto specifico: un int8 può memorizzare numeri tra -128 e 127, mentre un int16 può gestire valori tra -32768 e 32767. Questo elimina la necessità di verifiche aggiuntive durante l’elaborazione delle variabili.

Con i tipi forti, possiamo anche includere contratti semantici. Per esempio, uno standard POSIX per i nomi utente può essere incapsulato in un tipo chiamato UserName, che verifica i caratteri ammessi e altre regole specifiche tramite un metodo di creazione statica, create o new in Rust.