The OpenNET Project / Index page

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



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

Оглавление

Выпуск языка программирования Rust 1.45, opennews (??), 20-Июл-20, (0) [смотреть все]

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


12. "Выпуск языка программирования Rust 1.45"  +4 +/
Сообщение от Аноним (3), 20-Июл-20, 10:42 
Ну, как бы, я не особо себе доверяю. Плюс я писал проект на Си и немаленький, с ростом все сложнее услеживать. Людям свойственно ошибаться, баже лучшим из них, так почему бы не заставить машины проверять за нами как можно больше? Поэтому моя идеология такая - компилятор должен следить по максимуму. И типы проверять жёстко, и все прочее, в идеале вообще формальная верификация, как в seL4 (который, что интересно, написан на Си, но там док-во вроде побольше кода даже)
Ответить | Правка | Наверх | Cообщить модератору

37. "Выпуск языка программирования Rust 1.45"  +1 +/
Сообщение от Аноним (7), 20-Июл-20, 11:07 
Вопрос не в доверии, а в организации процесса. Вот ты сам говоришь про seL4, а тем ребятам пришлось пойти на некие нестандартные ходы, чтобы добиться этой самой верификации. Но от Си они не отказались. В конечном итоге, всё зависит от цели. Если это pet project, например, то вообще плевать на логику и здравый смысл - бери любую фигню, которая нравится, хоть эзотерику. А если ты толерантный работник в инклюзивной компании, то начальство само примет решение о переезде с плюсов на раст, потому что так, банально, дешевле. Но для "массовых коммуникаций" они будут заливать про какие-то очешуенные преимущества инженерного характера. Которые, в общем, сводятся к тому, что человек с меньшим уровнем знаний и навыков может выдавать рабочий код для сравнительно сложного проекта. Смысл вышесказанного в том, что если тебе интересно именно программирование, то имеет смысл учиться работать со сложными штуками, а если основной интерес в зарплате, то тупо следи за трендами. Раст в тренде.
Ответить | Правка | Наверх | Cообщить модератору

116. "Выпуск языка программирования Rust 1.45"  +/
Сообщение от anonom (?), 20-Июл-20, 13:36 
Valgrind
Ответить | Правка | К родителю #12 | Наверх | Cообщить модератору

149. "Выпуск языка программирования Rust 1.45"  +/
Сообщение от Аноним (240), 20-Июл-20, 16:42 
Valgrind (как и вообще динамический анализ) — не панацея. Все возможные комбинации входных данных ты тестами не покроешь.
Это не значит, что valgrind плох, и что динамический анализ не надо использовать. Надо. Но надо и помнить, что всех ошибок он не отловит.
Ответить | Правка | Наверх | Cообщить модератору

281. "Выпуск языка программирования Rust 1.45"  –1 +/
Сообщение от Аноним (280), 21-Июл-20, 14:58 
PVS-Studio. /thread
Ответить | Правка | К родителю #116 | Наверх | Cообщить модератору

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

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




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

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