November 5th, 2013

nyaload

mobile styleguide

В связи с популярностью мобильных устройств, и для возможности code-review с телефона - вводится новое ограничение на длину строки кода: 18 символов.
nyaload

Компилятор никогда не сможет, потому что "проблема останова"

Это какое-то общее заблуждение, из "проблемы останова" выводить "программист лучше знает". Единственное что программист знает - это типичные паттерны использования (типа "букв на экране меньше миллиона" или "эта кнопка в GUI никому не нужна, поэтому API-функция не зовётся"), но он не является магическим оракулом, могущим решать проблему останова.
Например, попробуйте выяснить, для каких параметров i зависает такой код:

void f(large_int_t i) {
    while (i > 1) { i = (i%2==0) ? i/2 : i*3+1; }
}

Люди очень редко пишут такой код, про который нельзя шаблонами автоматически вывести доказательство корректности и оценку времени его работы. Там где такой пишут ( лапша в ui-интерфейсах под прессом требований или код новичка или "конечное время работы следует из матана, гипотезы Римана, теоремы и трёх лемм" ) - там и человеку сложно решить проблему останова.