The OpenNET Project / Index page

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



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

Оглавление

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

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


136. "Разработчики Chrome экспериментируют с языком программирован..."  +1 +/
Сообщение от Ordu (ok), 22-Авг-20, 11:06 
> Так что Мазилы могут смело сворачивать своё УГ - будущего у него не было даже при рождении.

Вот что меня вгоняет в задумчивость, это то как комментаторы опеннета, наблюдая одно за другим свидетельства тому, что rust -- это серьёзно и надолго, -- продолжают утверждать про отсутствие будущего у rust'а.

Я понять не могу, что вами движет. Желание потроллить? Или может вы ведёте информационную войну, то есть надеетесь на то, что если миллион раз сказать ложь, то она станет истиной?

> И тот баран, который вывалил на программиста всю эту чехарду, проблемы не решил - он просто разложил кучу ограничений, с которыми писать программу - всё равно, что бегать в лыжах через болото.

Хыхы. Ты говоришь выше про "жёсткое рациональное инженерное мышление", которое позволяет писать надёжное ПО. Так вот именно к такому "бегу в лыжах через болото" и приводит "жёсткое рациональное инженерное мышление" программистов, которые набрали достаточно "профессионального опыта". Открой сорцы ядра linux, и посмотри: они по большей части в общем и целом следуют идеям лайфтаймов и ownership. Я не говорю, что они _везде_ им следуют, потому что скорее всего это не так: там где человек проверяет следование правилам, человек обязательно что-нибудь пропустит. Раст меняет ситуацию только в том смысле, что эти идеи кодируются в программу и жёстко проверяются, вместо того, чтобы оставлять проверку их людям.

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

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
Добавить, Поддержать, Вебмастеру