Исходное сообщение
"Пятая редакция патчей для ядра Linux с поддержкой языка Rust..." Отправлено Аноним, 13-Фев-22 16:49
> use-after-free В rust дается "слежением за владением" не бесплатно: из-за этого нельзя создать данные с циклическими ссылками, например, банальный двусвязный список. > buffer overflow От этого rust не может защитить на этапе компиляции. Для этого минимум нужны зависимые типы, и то этого недостаточно. > UB А вот это практически упирается теорему останова. Каким боком тут "безопасное подмножество"? И как применит к этому "безопасному подмножеству" полноту по Тьюрингу, вообще непонятно.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> use-after-free > В rust дается "слежением за владением" не бесплатно: из-за этого нельзя создать > данные с циклическими ссылками, например, банальный двусвязный список. >> buffer overflow > От этого rust не может защитить на этапе компиляции. Для этого минимум > нужны зависимые типы, и то этого недостаточно. >> UB > А вот это практически упирается теорему останова. > Каким боком тут "безопасное подмножество"? И как применит к этому "безопасному подмножеству" > полноту по Тьюрингу, вообще непонятно.
	Введите код, изображенный на картинке: