Qualcuno che come me studia C?

[Andretti60]

E le soluzioni imperniate su un differente modello di programmazione e la verifica dei vincoli da parte del compilatore. A la Rust insomma.

Il problema è che Rust non usa a garbage collector, bensì RAII e reference counting, con tutti I loro problemi.
È un discorso interessante ma stiamo andando allegramente fuori topico :)

 

[pabloski]

Il problema è che Rust non usa a garbage collector, bensì RAII e reference counting, con tutti I loro problemi.
È un discorso interessante ma stiamo andando allegramente fuori topico :)

No, il reference counting è implementato esclusivamente per Rc e RefCell. Mentre per il resto, sono le restrizioni imposte sul modello di memoria, a consentire al compilare di ragionare sul programma e rilevare la presenza di certi tipi di bug.

Ma il codice macchina è lo stesso prodotto da un equivalente compilatore C++.