The OpenNET Project / Index page

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



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

Оглавление
Выпуск языка программирования Rust 1.45, opennews, 20-Июл-20, 10:21  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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