Исходное сообщение
"Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..." Отправлено Витюшка, 30-Дек-23 17:01
Тебя просят написать простой алгоритм на Раст, с доказательством корректности (20 строчек кода!!!!). Ну что может быть проще? Какая разница применяется он где-то или нет? Сам код есть (Filter lock), доказательство корректности тоже. Перепиши на безопасном Раст и покажи что Раст гарантирует корректную работу мьютекса. Но нееееет.... Типичный программист на Раст ни ... не знает ни алгоритмы, ни математику, ни многопоточное программирование, ни структуры данных, ни lock free. Вообще ничего не знает, но ходит и кричит про безопасный Раст, не разбираясь, естественно в безопасности и корректности программ тоже. Такой, типичный Шариков. Который не может написать 20 строчек кода!!!! И показать что они будут работать корректно. Давай я пишу на Zig и доказываю корректность,а ты на Rust и доказываешь корректность с помощью borrow checker?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Тебя просят написать простой алгоритм на Раст, с доказательством корректности (20 строчек > кода!!!!). Ну что может быть проще? Какая разница применяется он где-то > или нет? > Сам код есть (Filter lock), доказательство корректности тоже. Перепиши на безопасном Раст > и покажи что Раст гарантирует корректную работу мьютекса. Но нееееет.... > Типичный программист на Раст ни ... не знает ни алгоритмы, ни математику, > ни многопоточное программирование, ни структуры данных, ни lock free. Вообще ничего > не знает, но ходит и кричит про безопасный Раст, не разбираясь, > естественно в безопасности и корректности программ тоже. > Такой, типичный Шариков. Который не может написать 20 строчек кода!!!! И показать > что они будут работать корректно. > Давай я пишу на Zig и доказываю корректность,а ты на Rust и > доказываешь корректность с помощью borrow checker?
	Введите код, изображенный на картинке: