Непонятки с функционалом

[komar]

Цитата:

Сообщение от Ruff

Ведь никто не будет спорить, что b-- - dead code?
Вот и читай после этого Best Practices... То есть, верь после этого людям! Написано-то складно, а на деле...

Я буду спорить. Компилятор не может проверять логику, он может проверять только правила. Например, попробуйте встать на мето компилятора - по какому правилу он может определить такое понятие, как "избыточность" кода? То есть если начать писать алгоритм проверки "is never reached" проверить можно, а "never used" - нечто неформализуемое (о чем и свидетельствует данная дискуссия.
Вопрос в том, чего мы пытаемся добиться при использовании Best Practice - если читаемости кода, то оба варианта, с которых вся дискуссия началась, вполне читаемы и понятны - нету тут однозначно "лучшего".
По поводу взглядов на то, что есть "идеальное" программирование есть интересная статья (или как это называется) http://www.catb.org/~esr/jargon/html/story-of-mel.html - может, я и не прав, но такое программирование, хоть и вызывает восхищение у авторов, у меня его почему-то не вызывает...