Индекс форумов |
Исходное сообщение |
---|
"Выпуск языка программирования Rust 1.45" Отправлено Аноним, 20-Июл-20 10:42 |
Ну, как бы, я не особо себе доверяю. Плюс я писал проект на Си и немаленький, с ростом все сложнее услеживать. Людям свойственно ошибаться, баже лучшим из них, так почему бы не заставить машины проверять за нами как можно больше? Поэтому моя идеология такая - компилятор должен следить по максимуму. И типы проверять жёстко, и все прочее, в идеале вообще формальная верификация, как в seL4 (который, что интересно, написан на Си, но там док-во вроде побольше кода даже) |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |