The OpenNET Project / Index page

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



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

Оглавление

Выпуск языка программирования Rust 1.75 и unikernel Hermit 0.6.7, opennews (??), 29-Дек-23, (0) [смотреть все]

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


37. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 29-Дек-23, 21:59 
> есть MISRA, например

она платная для начала. Намного хуже что в gcc практически невозможно включить все варнинги и санитайзеры внятным способом и для проверки мисра-комплиант надо ещё внешний чекер. В платных компиляторах наверно лучше с этим но я ими не пользуюсь.

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

42. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 22:23 
Платный стандарт, а он и для С внезапно платный (чистовик), и ГОСТы на практике и много еще чего.
PVS-Studio вроде предлагал бесплатную лицензию на один год для проектов с открытым исходным кодом. Наверняка есть и другие пути для некоммерческого проекта, а коммерческие пусть платят.
Ответить | Правка | Наверх | Cообщить модератору

54. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (25), 29-Дек-23, 22:48 
> Платный стандарт, а он и для С внезапно платный (чистовик)

поддержка различных стандартов С и С++ в gcc есть а мисры я там не наблюдаю

> PVS-Studio вроде предлагал бесплатную лицензию

это внешний анализатор, так можно и Frama-C ещё вспомнить, только много кто этим пользуется ? Rust удобен тем что весь анализ кода в одном открытом бесплатном компиляторе.

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

73. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (39), 29-Дек-23, 23:31 
Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90% преимуществ Раста и еще выловить баги которые и Раст никак не помогает предотвратить. И главное для этого не нужно менять свой основной язык, что для многих означает потерю работы.

Уже есть коммерческие решения для MISRA, свободные как обычно будут с задержкой, в GCC процесс идет. Пока что можно пользоватся бесплатной версией PVS-Studio и аддоном MISRA для CppCheck. Глупо считать что Раст предлагает в этом что-то уникальное или новое.

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

96. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от фнон (?), 30-Дек-23, 00:00 
> Ну так внешнего анализатора и достаточно чтобы получить грубо говоря 90% преимуществ Раста

Интересная цифра! А можно, хотя бы примерно, методику ее расчета? Пока похоже на "пальцем в небо".

> и еще выловить баги которые и Раст никак не помогает предотвратить.

А можно примеры?
Если ты о фаззинге - то для раст тоже есть внешние инструменты.

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

Вот скажу честно, мне плевать сколько бракоделов-неосиляторов пойдут работать дворниками.
Они за 30 лет не научились память чистить не больше одного раза и за буфер не выходить, так что совершенно не жалко.
Гугл за 2 месяца переучивает людей с Python, Java и Go, на Раст - без потери производительности.
Если эти "профи" не могут выучить новый язык, то они просто плохие программисты.
(То что они ʼне хотятʼ - в это я охотно поверю)

> Пока что можно пользоватся бесплатной версией PVS-Studio и аддоном MISRA для CppCheck. Глупо считать что Раст предлагает в этом что-то уникальное или новое.

Выше покащали пример, что куча санитайзеров работала... и не сработала.
И на минуточку это криптография!
opennet.ru/openforum/vsluhforumID3/132453.html#78

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

111. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (100), 30-Дек-23, 00:17 
Ты сначала посмотри на количество вакансий для разработчиков на Rust, а потом рассуждай тут про дворников. А то может оказатся что для любителя Раста совмещать работу дворника с домашним проектом на любимом языке может оказатся еще не самым плохим вариантом )))
Ответить | Правка | Наверх | Cообщить модератору

123. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Анонимусс (?), 30-Дек-23, 01:25 
Количество вакансий просто убийственный аргумент)))
А ведь JSников и пыхеров еще больше чем сишников...
Ответить | Правка | Наверх | Cообщить модератору

109. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  –1 +/
Сообщение от Аноним (25), 30-Дек-23, 00:14 
> Уже есть коммерческие решения для MISRA

соблюдение правил мисры не даёт никаких гарантий а гигантское ядро по ним написать шансов ноль

> Глупо считать что Раст предлагает в этом что-то уникальное или новое

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

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

112. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +1 +/
Сообщение от Аноним (100), 30-Дек-23, 00:23 
Раст дает гарантии только по ограниченному классу ошибок, остальные лови ручками как и в любом другом языке.
Ответить | Правка | Наверх | Cообщить модератору

190. "Выпуск языка программирования Rust 1.75 и unikernel Hermit 0..."  +/
Сообщение от Аноним (184), 30-Дек-23, 15:47 
только этот ограниченный класс составляет 70% ошибок, причем многие из них - критические, позволяющие хакнуть программу/систему. Можно сформулировать и так - подавляющее большинство ошибок, которые являются критическими и позволяют взломать систему и получить над ней контроль - как раз из этого самого "ограниченного класса ошибок".
Ответить | Правка | Наверх | Cообщить модератору

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

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




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

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