Исходное сообщение
"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..." Отправлено Витюшка, 30-Дек-23 10:55
Ответ - никак. Твой Rust ни черта этого не умеет. В книге The Art of Multiprocessing Programming корректность доказывается с помощью построения логических теорем, с доказательством на листочке. По индукции или методом от противного. На листочке, ручками! Это самые сложные, самые частые ошибки, самые опасные. И где твой хвалёный Rust? Где твоя защита? Где твой borrow checker? Если вы даже мьютекс не можете написать безопасный?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, [email protected] (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Ответ - никак. Твой Rust ни черта этого не умеет. > В книге The Art of Multiprocessing Programming корректность доказывается с помощью построения > логических теорем, с доказательством на листочке. По индукции или методом от > противного. На листочке, ручками! > Это самые сложные, самые частые ошибки, самые опасные. > И где твой хвалёный Rust? Где твоя защита? Где твой borrow checker? > Если вы даже мьютекс не можете написать безопасный?
	Введите код, изображенный на картинке: