The OpenNET Project / Index page

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

форумы
правила/FAQ
поиск
регистрация
вход
слежка
RSS


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

Оглавление

В каждом пятом пакете на языке Rust используется режим unsafe, opennews (??), 26-Май-24, (0) [смотреть все]

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


165. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Аноним (-), 27-Май-24, 12:17 
> Уже было кинулся кидать ссылку на статью другу плюсовику

А с какой целью, если не секрет?
Потроллить? Склонить к переходу на новый язык? Показать что "раст ненужон"?

> Вывод из цифр скорее нейтрально-положительный.

Скорее положительный, говорит о том, что в большинстве случаем unsafe используется так как задумывался.

ps про зиг комментов давно не было, или ты его забросил?

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

227. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Витюшка (?), 27-Май-24, 16:39 
Я на нём код пишу, а не комментарии строчу)))

Сейчас у меня основной язык - чистый С. И Zig ложится на него идеально.

Буду активно использовать, но в hobby/side/open-source. На работе он, естественно, не используется.

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

228. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Витюшка (?), 27-Май-24, 16:45 
Всё вместе. И потролить (он не любит Rust, постоянно его принижает т.к. сам плюсовик).

И "раст ненужон" и т.п. Склонять бесполезно - на С++ работы в сотни, если не в тысячи раз больше сейчас. Как говорится, "за деньги - да".

Я Rust не люблю. Но вот проекты на нём мне очень нравятся и я их активно использую. Поэтому для уже Rust "нужон", не как для программиста, а как для потребителя. Чего только стоит typst, nushell, helix, zed.

А по поводу Zig...ну вот Miri это и есть Debug режим Zig, условно говоря (как минимум в будущем), которые будет отлавливать все ошибки. Rust как мы видим unsafe проверить не может.

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

296. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Аноним (-), 28-Май-24, 11:54 
> Debug режим Zig, условно говоря (как минимум в будущем), которые будет отлавливать все ошибки. Rust как мы видим unsafe проверить не может.

Хм... почитал про этот Debug режим. Не очень понял как он будет отлавливать "все ошибки".

Но обратил внимание, что его можно выключить для блоков.
Safety checks can be disabled on a per-block basis with @setDebugSafety.
Что-то это мне напоминает 🤔
Что-то, что на 'Un' начинается и 'safe' заканчивается)

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

318. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Витюшка (?), 28-Май-24, 16:22 
Так разницу чувствуешь? Его нужно отключать в конкретном участке кода (для максимальной производительности)...что-то это напоминает, не правда ли? Rust))))

А проверять он может всё теоретически, что можно проверить в runtime. Т.е. double free, leak memory и т.д. и т.п. То, что умеет валгринд, то что умеет miri.

Ведь мири что делает? Запускает код Rust в runtime, потому что Rust не умеет и не может сделать большинство проверок без запускуа - в compile time.

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

329. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Аноним (-), 29-Май-24, 11:35 
> что-то это напоминает, не правда ли? Rust))))

Да, очень напоминает.
Наверное создателям раста приятно видеть как другие языки используют их идеи.
И тут речь не только про zig, но, кажется моджо, тоже.

> А проверять он может всё теоретически, что можно проверить в runtime. Т.е. double free, leak memory и т.д. и т.п. То, что умеет валгринд, то что умеет miri.

Ну, из положительного, когда я смотрел доку zig в последний раз, то у них "At runtime crashes with the message" для UBшек было гораздо меньше.
С другой стороны - раздел Memory до сих по в TODO:

> Ведь мири что делает? Запускает код Rust в runtime, потому что Rust не умеет и не может сделать большинство проверок без запускуа - в compile time.

Не, большинство проверок Раст проводит таки в compile time, все что планировались.
Возможно в будущем наработки Мири просто перенесут в компилятор, а может и нет, тк это не соответствует идее проерять при компиляции.

p.s. zig все еще умеет такой фокус или это уже подправили?
  var helloZig = try allocator.dupe(u8, "Is zig sucs?");
  allocator.free(helloZig);
  std.debug.print("{s}\n", .{helloZig});
p.s.2 плейграунд как-то совсем не работает(

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

332. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Facemaker (?), 29-Май-24, 18:44 
>Rust как мы видим unsafe проверить не может

Что значит "unsafe проверить не может"? Блок unsafe вовсе не означает "твори любую дичь". Список разрешений ограничен пятью пунктами, всё остальное проверяется компилятором как обычно.

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

334. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Аноним (-), 29-Май-24, 19:17 
> Что значит "unsafe проверить не может"? Блок unsafe вовсе не означает "твори любую дичь".

Не обращай внимание, это Витюшка.
Он тут уже блистаз познаниями Раста, рассказывая про классы и прочую дичь.
Еще он же заливал про то что раст "А что, Rust находит все классы ошибок?"
opennet.ru/openforum/vsluhforumID3/132453.html#182

В общем персонаж забавный, пишет на js, но рассказывал про свою уникальную задачу, когда "несколько потоков одновременно пользуют один кусок памяти"

> Список разрешений ограничен пятью пунктами, всё остальное проверяется компилятором как обычно.

Доку читать не барское дело.


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

343. "В каждом пятом пакете на языке Rust используется режим unsaf..."  +/–
Сообщение от Витюшка (?), 30-Май-24, 19:11 
Это значит что проверки в компайл тайм строго ограничены по своим возможностям. Вне зависимости от технологий, подходов, языка, фич и т.п.

Т.е. если ещё проще - их недостаточно поэтому пилят MIRI

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

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

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




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

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