Фрайди найт

[ailev]

vit_r опять сделал коммент с очень точным наблюдением (http://ailev.livejournal.com/667930.html?thread=5693210#t5693210): "чем больше формализация, тем меньше люди обращают внимание на смысл". И ведь это крайне точно, замечал много раз: чем больше формализация, чем больше

Comments

[gineer]

//Хорошо, ещё и обращение странное. Никто не пытается доказать-понять ячейку памяти.
Например, что такое очередь? Для программиста, в общем-то, странным занятием будет её изучать. Для математика - использовать.

А вот здесь не скажите.
Это опять вы со своего внешнего незаангажированного опыта говорите.

Конечно программист своих действий не доказывает, слава богу Дийкстра в этом не победил.
Но то что он "просто использует", это тоже не правда.
Знать теоритически что такое очередь, и применять её для решения какой-то задачи -- это две большие разницы как говорят в Одессе.
Все равно что просто читать книжки по математике и доказывать теоремы. ;)

Кроме того, программист чаще всего применяет не просто сами эти выхолощенные объекты, а их композиции, типа массивы строк или очереди деревьев.
Причем часто при довольно специфических ограничениях.
Что подразумевает уже некоторую исследовательскую работу.

Если хотите, в этом программирование даже сложнее математики.
Потому как программист имеет дело с объектами которые имеют собственную жизнь, постоянно меняют свое состояние.