Программирование как контракт с дьяволом

[fat_yankey]

The purpose of a program is informal, often unstated, criterion and the transition from informal to formal objects must forever be unformalized, lest we caught in the paradox of assuming the formalization of an object we know only informally.

Social processes and proofs of theorems and programs
DeMillo, Lipton, Perils
Не проси богов ни о чем,

Comments

Надевая фуражку капитана О.

[ok_66]

Основные отличия
1. Комп туп, но не злонамерен.
2. С компом можно пробовать много раз.

Re: Надевая фуражку капитана О.

[zakharov75]

иногда за каждый раз приходится платить очень очень дорого

Re: Надевая фуражку капитана О.

[ok_66]

Если забить на тестирование, то да.

Re: Надевая фуражку капитана О.

[fat_yankey]

Прогресс технологий развивает лень. Сейчас машинное время дешевле грязи, а временной зазор между окончанием редактирования кода и его исполнением минимален. Это развращает. Программисты вместо того чтобы думать - тестируют.

А вы представьте, что на сто программистов у вас одна машина, целиком занимающая Георгиевский зал Кремля. И что написанный на бумажке код вы отдаете девочкам-перфораторшам, таких как вы у них много, вы получаете назад колоду перфокарт только через час, а то и через несколько. Это теперь нужно нести в машинный зал, где вашу колоду поставят в очередь на исполнение. И только на следующий день вы получите назад распечатку с результатами исполнения.

Это дисциплинировало. Слово "тестирование" тогда было не в ходу. Не говоря уже о всяких TDD.

[semonsemenich]

Замечательно. К теме формального подхода к исполнению желаний ( столь часто встречающегося в мистической литературе), мне кажется, тесно примыкает тема формального исполнения предсказаний и пророчеств ("Когда придет твой смертный, час Как твой Бирнамский лес"), где героя тоже ожидает облом.
Однако коллега выше верно подметил: компьютер специально не изыскивает бреши в формулировках. Он предсказуем, и правила его поведения зарене оговорены.

[aintlion]

Это с точки зрения программиста, оговорены и заранее известны.А с точки зрения пользовaтеля, отнюдь.

[semonsemenich]

Не очень понял тонкость.. Но не суть. Главное, что коллега ok_66 прав: диавол изначально заточен на кидалово. Трудность формализации для него всего лишь предлог этот кидок реализовать. А люди на работе злого намерения не имеют. И трудность формализации для них просто очередная рутинная трудность, которую надо преодолевать совместными усилиями.

[nealar]

люди на работе злого намерения не имеют
Принцип Хайнлайна, да. Мне в текущем проекте потребовалось 6 месяцев, чтобы проверить, что да, действительно не имеют.

[livohbatez]

http://www.ega-math.narod.ru/Quant/Porges.htm

"Но никто ещё не мог найти два куба, которые при сложении тоже давали бы куб или более высокие степени, которые приводили бы к аналогичному результату, - по-видимому, их просто нет. И всё же, - торжествующе закончил он, - до сих пор не доказано, что таких чисел не существует!"

[semonsemenich]

Дыг... Доказано же...

[3mer]

Вроде как перевод неформального в формальное есть политика, со всеми вытекающими

[xbvedom]

Ахаха, баба издевается над мужиком при его жене

[otrubon]

метка "ниАчём"

[agasfer]

Да, к сожалению, повода обматерить Исаева лишний раз этот текст не дает.

[otrubon]

сочувствую

но вы это... форму не теряйте... тренируйтесь на кошках