The OpenNET Project / Index page

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



"Ядро Linux 5.8 станет самым крупным по числу изменений"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.
. "Ядро Linux 5.8 станет самым крупным по числу изменений" +/
Сообщение от Sw00p aka Jerom (?), 16-Июн-20, 00:36 
> Детский сад.  Поинтересуйтесь, для каких применений и объёмов кода <=> задачи
> сейчас в принципе применяется доказательство корректности.

так детский сад в том и заключается, что вы забыли применять доказательство (не только корректности) во всем.

> В случае работы программиста -- что конкретно эта строка была/стала лишней.

Хорошие термины вы используете, была, стала лишней, угодной не угодной, черной - белой. О чем говорит удаление шага из алгоритма? - об избытке, о чем говорит добавление ? - о необходимости. Так и что же это необходимость и достаточность?

> Бывает и так.  А бывает так, что куча строчек в +/-
> является всего лишь другой реализацией ровно того же алгоритма (да хоть
> рекурсию в итерацию раскатали или же наоборот).  Или сменой табов
> на пробелы либо назад в отступах, что для приличных языков на
> аэродинамику не влияет.

Замена рекурсивного алгоритма на итеративный повлияет на количество строк.

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

Ответили бы вы, на этот вопрос - зачем вообще нужна "системой контроля версий". Может стоит сначала задать вам вопрос, что есть понятие "программирование"? -вот и спросил, жду ответа.

> ...это песчинка на побережье.

Хорошо хоть не бревно от потерпевшего крушения судна...

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

Оглавление
Ядро Linux 5.8 станет самым крупным по числу изменений, opennews, 15-Июн-20, 12:21  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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