Исходное сообщение
"Google представил открытый стек OpenSK для создания криптогр..." Отправлено qetuo, 31-Янв-20 04:40
Safe код безопасен тогда, когда безопасна прослойка Unsafe снизу. Для прослойки Unsafe гарантии предоставляет программист, для Safe -- компилятор. Так, в отличие от С/С++, код разбивается на два множества, одно из которых корректно (с точки зрения языка), если корректно другое. Если твоя программа оказалась тыквой, то, скорее всего, именно ты виноват в некорректном коде в Unsafe. Никто не винит sudo за возможность удалить /, но почему-то многие винят Unsafe за возможность писать по рандомному указателю.