Книга бревна (fat_yankey) wrote,
Книга бревна
fat_yankey

  • Music:

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

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
Не проси богов ни о чем, рискуешь получить просимое.

Древние греки иллюстрировали эту максиму историями Мидаса и Титона. Первый попросил Диониса, чтобы всё, к чему он прикоснётся, обращалось в золото. И это ему было даровано. Как выяснилось на тестовом прогоне, в обществе где все едят руками такой дар может привести к смерти от истощения. Не говоря уже о сложностях в социальной жизни - ни поздороваться, ни обнять... За второго попросила любовница. Ему посчастливилось любиться с Эос, богиней утренней зари. Та и замолвила словечко Зевсу. Попросила для своего любовника вечной жизни. И это ему было даровано. Как выяснилось на тестовом прогоне, вечная жизнь без вечной молодости штука не очень приятная. Прожив заметно больше отмеренного человеку срока, Титон страдал от всех старческих болезней, включая слабоумие, не мог пошевелить ни рукой, ни ногой, ни, к полному расстройству Эос, более важными для любовника органами. Существует версия, что он постепенно ссохся в цикаду, видимо растворив внутренний скелет и нарастив внешний. Если версия верна, то среди этих мух-переростков есть одна бессмертная.

Античность закончилась, греческих богов дарующих человеку просимое в христианской Европе сменил дьявол. Европейские фольклор и литература во множестве содержат сюжеты сделки с дьяволом, смертный контрагент которых получал именно то, о чём просил. Впрочем, были и сюжеты в которых в формальную ловушку попадал дьявол, а не человек. Наиболее известный, видимо, это сюжет "приходи завтра" ("а чего ты сегодня пришёл, разве сегодня - завтра?").

Все сюжеты объединяет то, что герой комично или трагично проваливается в зазор между формальным (то что попрошено) и неформальным (то что хотелось).

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

В конце концов, компьютер всегда делает именно то, о чём ты его попросил.
Tags: любимые цитаты
Subscribe

  • Нефть

    В продолжение вот этой темы выложил немного побольше данных: http://journal.kurtukov.name/?p=78 http://journal.kurtukov.name/?p=79…

  • Вынося из комментов

    Есть очень распространённое мнение, что во время Войны положение с горючим в СССР было заметно получше, чем в Германии. Типа СССР добывал многия…

  • Голодомор по американски.

    Так называется активно обсуждаемая статья Бориса Борисова опубликованная разными интернет-изданиями. Сама статья являет собой образец серой, местами…

  • Post a new comment

    Error

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.
  • 79 comments
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →
Previous
← Ctrl ← Alt
Next
Ctrl → Alt →

  • Нефть

    В продолжение вот этой темы выложил немного побольше данных: http://journal.kurtukov.name/?p=78 http://journal.kurtukov.name/?p=79…

  • Вынося из комментов

    Есть очень распространённое мнение, что во время Войны положение с горючим в СССР было заметно получше, чем в Германии. Типа СССР добывал многия…

  • Голодомор по американски.

    Так называется активно обсуждаемая статья Бориса Борисова опубликованная разными интернет-изданиями. Сама статья являет собой образец серой, местами…