Mint laikus, én érteni vélem az unsafe használatának tiltását, hiába a nyelv része. Hozzáteszem, életembe nem láttan Rust kódot, a nyelvet sem ismerem, sőt, C-ben sem programoztam soha.
Viszont az eddigiekből lejött, hogy az unsafe "kiiktatja" a Rust egyik lényegi funkcióját, a védelmet. Egyszerűsítés!: az átlag programozó, ahogy megtudja, hogy kikapcsolhatja a védelmet, akkor bármi hiba esetén elsőre azt fogja tenni. Ha úgy működik a lomja, akkor nem keresi tovább a hibát, hanem úgy hagyja, gyakorlatilag megölve a védelmet nyújtó nyelv előnyét, az eredeti hibát pedig benne hagyva.
Pont ezért lettek népszerűek a nem típusos nyelvek, amikor bármit be lehet hányni bármilyen változóba, és amikor kiveszed, arra számítasz, hogy olyasmi van benne, amit szeretnél. Aztán ha mégsem, akkor majd a user észreveszi és hibát jelent. Típusos nyelvnél ez fordítási időben kiderül, csak úgy "lassabb" haladni, hogy mindig mindenféle bosszantó hibaüzenetekkel kell foglalkozni a fejlesztés során...
Azt gondolom, ez a kizárás oka, csak nincs minden egyes feltétel hosszas körmondatokkal megmagyarázva.
A Rust nyelv is olyan mint az összes többi: egy jó programozó munkáját segíti, egy rossz programozó meg pont ugyan olyan szar programot fog mindben írni.