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

[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.livejournal.com]

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

[semonsemenich.livejournal.com]

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

[livohbatez.livejournal.com]

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

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

[aintlion.livejournal.com]

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

[semonsemenich.livejournal.com]

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

[3mer.livejournal.com]

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

[otrubon.livejournal.com]

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

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

[zakharov75.livejournal.com]

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

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

[ok-66.livejournal.com]

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

[semonsemenich.livejournal.com]

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

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

[fat-yankey.livejournal.com]

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

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

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

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

[fat-yankey.livejournal.com]

1. Злонамеренность в сюжете вторична. Я потому и начал с античности, что там достаточно очевидна незлонамеренность.

2. Ну да, только это и спасает.

[agasfer.livejournal.com]

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

[fat-yankey.livejournal.com]

"А примешь ты смерть от коня своего". Да, согласен. Темы сходные.

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

[ok-66.livejournal.com]

Зачем представлять? 83-й, ВЦ СОАН, так и работал. Только никаких девочек не было, всё сами набивали.

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

[fat-yankey.livejournal.com]

Хм. Работал там же в 81 (ещё школьником), девочки были. Разогнали к 83? Ну и машин тогда конечно было уже не одна...

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

[ok-66.livejournal.com]

Насчёт очевидности в первом пункте можно и поспорить.

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

[fat-yankey.livejournal.com]

Да и вообще, новые времена уже наступали. Был уже КРАБ, можно было обойтись без перфокарт.

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

[ok-66.livejournal.com]

Не знаю, у нас как-то даже таких вопросов не возникало. М.б. по штату не полагалось?
А в НГУ в это же время уже во всю использовали терминалы.

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

[ok-66.livejournal.com]

Синхронно :-)

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

[ok-66.livejournal.com]

Да, а вместо "тестирование" говорили "отладка".

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

[fat-yankey.livejournal.com]

Отладка - это debugging. Тогда, впрочем отладку и тестирование еще не разделяли.

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

[fat-yankey.livejournal.com]

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

[nealar.livejournal.com]

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

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

[ok-66.livejournal.com]

Чёрт его знает, может и не было. На набивку отдавал программы уже в Тюмени, даже специальные бланки помню.