Ne, pointa je množství unsafe snížit na naprosto nutné minimum (i když programů které unsafe nemají vůbec je dost). Kontrolovat pár unsafe bloků na soundness je rozhodně snazší než kontrolovat kvůli tomu celý program včetně ne jedné, dvou, ale všech závislostí.
A opět, i Unsafe v Rustu je pořád bezpečnější než to samé v C++.
Nikdy nezapomenu na situaci, kdy se v C++ upstream jedné námi linkované knihovny rozhodl v nové verzi zahodit thread safety. Nikdo si toho nevšiml, kompilace na nové verzi debianu proběhla v pohodě, pak nám to v produkci začalo padat. Debugging byla opravdu radost. V Rustu se taková věc prostě nezkompiluje.
31. 10. 2023, 19:24 editováno autorem komentáře