correctness

2зной

2ответ

назначить член на основе значения строки

Мне нужно начать с кода, потому что я не уверен, какую терминологию использовать. Допустим, у меня есть следующий код: class Node { public: void Parse(rapidxml::xml_node<> *node) { fo

2зной

10ответ

Как правильно писать код в первый раз?

Я обычно делаю много ошибок (логические ошибки, синтаксические ошибки) в первой попытке выполнить некоторые задачи программирования. Я должен написать единичный тест, чтобы обнаружить эти ошибки. Это

6зной

11ответ

Формальная проверка правильности алгоритма

Прежде всего, возможно ли это только для алгоритмов, которые не имеют побочных эффектов? Во-вторых, где я могу узнать об этом процессе, о любых хороших книгах, статьях и т. Д.?

1зной

3ответ

Каков наилучший способ использования нескольких строк <% %> Тег или <% %> Тег с несколькими строками?

Извините, если заголовок недостаточно, чтобы понять, о чем я прошу. Я разработчик rails, и я использовал несколько строк из <%%> в моих представлениях, но теперь я понял, что это не лучшая практика, п

5зной

9ответ

Проверка правильности кода Python

В C++ У меня есть компилятор, который говорит мне, если что-то не так с моим кодом после рефакторинга. Как убедиться, что код Python является по крайней мере правильным после изменений? Там может быть

6зной

4ответ

Проверка правильности программы с использованием фантомных типов в Haskell

Предположим, что я работаю с кодом стекового компьютера, который может выполнять некоторые простые операции (push константа, add, mul, dup, swap, pop, convert types) на ints и double , Теперь программ

5зной

4ответ

Это мое перечисление правильно?

По всему нашему проекту у нас есть такие перечисления. Они прекрасно работают, но мы не уверены в них. Специально с методом getDocumentType (String). Есть ли способ избежать итерации по всему полю Enu

1зной

1ответ

Есть ли простой способ проверить, что статьи репликации верны?

В публикации (во-вторых, подписка) есть ли сценарий или команда, которую я могу запустить, которая проверяет, что статьи, находящиеся на месте, соответствуют ожидаемому и/или правильному? Если изменен