Исходное сообщение
"Разработчики Chrome экспериментируют с языком программирован..." Отправлено Ordu, 22-Авг-20 14:57
> Только один вопрос. Растаманы глазами проверяют весь код, или они полностью доверяют > своему безопасному компилятору? Ты имеешь в виду проверку на следование правилам владения объектами и лайфтаймам? Эти правила, применительно к конкретным объектам, кодируются в системе типов. Проверку этих правил выполняет компилятор, проверять его, значит впустую тратить время. Насколько же нужно проверять правила -- это уже зависит от того, каким образом они прописаны. Если под ними лежит unsafe, то да, надо проверять глазами, используя unsafe и raw-указатели легко можно нарушить базовые инварианты языка. То есть, даже дело не в том, что можно нарушить: unsafe сделан для того, чтобы нарушать эти инварианты, дело в том, что эти нарушения должны оставаться на уровне модуля и не выползать наружу. То есть, наверное, исчерпывающий ответ на твой вопрос звучит так: "иди к чертям со своей аксиомой эскобара", со своими предложениями выбрать один ответ из двух неверных.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>> Только один вопрос. Растаманы глазами проверяют весь код, или они полностью доверяют >> своему безопасному компилятору? > Ты имеешь в виду проверку на следование правилам владения объектами и лайфтаймам? > Эти правила, применительно к конкретным объектам, кодируются в системе типов. Проверку > этих правил выполняет компилятор, проверять его, значит впустую тратить время. Насколько > же нужно проверять правила -- это уже зависит от того, каким > образом они прописаны. Если под ними лежит unsafe, то да, надо > проверять глазами, используя unsafe и raw-указатели легко можно нарушить базовые инварианты > языка. То есть, даже дело не в том, что можно нарушить: > unsafe сделан для того, чтобы нарушать эти инварианты, дело в том, > что эти нарушения должны оставаться на уровне модуля и не выползать > наружу. > То есть, наверное, исчерпывающий ответ на твой вопрос звучит так: "иди к > чертям со своей аксиомой эскобара", со своими предложениями выбрать один ответ > из двух неверных.
	Введите код, изображенный на картинке: