The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Разработчики Chrome экспериментируют с языком Rust, opennews (??), 20-Авг-20, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


138. "Разработчики Chrome экспериментируют с языком программирован..."  –1 +/
Сообщение от Аноним (137), 22-Авг-20, 12:11 
Только один вопрос. Растаманы глазами проверяют весь код, или они полностью доверяют своему безопасному компилятору?
Ответить | Правка | Наверх | Cообщить модератору

140. "Разработчики Chrome экспериментируют с языком программирован..."  +/
Сообщение от Ordu (ok), 22-Авг-20, 14:57 
> Только один вопрос. Растаманы глазами проверяют весь код, или они полностью доверяют
> своему безопасному компилятору?

Ты имеешь в виду проверку на следование правилам владения объектами и лайфтаймам? Эти правила, применительно к конкретным объектам, кодируются в системе типов. Проверку этих правил выполняет компилятор, проверять его, значит впустую тратить время. Насколько же нужно проверять правила -- это уже зависит от того, каким образом они прописаны. Если под ними лежит unsafe, то да, надо проверять глазами, используя unsafe и raw-указатели легко можно нарушить базовые инварианты языка. То есть, даже дело не в том, что можно нарушить: unsafe сделан для того, чтобы нарушать эти инварианты, дело в том, что эти нарушения должны оставаться на уровне модуля и не выползать наружу.

То есть, наверное, исчерпывающий ответ на твой вопрос звучит так: "иди к чертям со своей аксиомой эскобара", со своими предложениями выбрать один ответ из двух неверных.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру