forum.opennet.ru

Составление сообщения

Исходное сообщение

"Проекту seL4 присуждена премия ACM Software System Award"
Отправлено пох., 07-Май-23 09:58

> Куда лучше всё-таки, когда от подавляющей части ошибок защищает компилятор прямо во
> время разработки. Остальные верифицировать займёт куда меньше времени.
да, просто прекрасно. Все время разработки уходит на борьбу с компилятором, потом чувак сдается и пишет unsafe {мамойклянус!}
Результат - компилятор успешно защитил, нет разработки нет и ошибок.
Не правда ли, ресдох?

Исходное сообщение
"Проекту seL4 присуждена премия ACM Software System Award" Отправлено пох., 07-Май-23 09:58
> Куда лучше всё-таки, когда от подавляющей части ошибок защищает компилятор прямо во > время разработки. Остальные верифицировать займёт куда меньше времени. да, просто прекрасно. Все время разработки уходит на борьбу с компилятором, потом чувак сдается и пишет unsafe {мамойклянус!} Результат - компилятор успешно защитил, нет разработки нет и ошибок. Не правда ли, ресдох?

Ваше сообщение

Имя*:

EMail:

Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email).
Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.

Заголовок*:

Сообщение*:

При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования.

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру