императивность vs декларативность
В программировании существует два принципиальных подхода, на которых строятся бесчисленные техники: императивный подход и декларативный подход.
При чисто-императивном подходе программа, которую нужно исполнить, полностью содержит в себе граф переходов по самой себе. Можно сказать, что для императивной программы не существует внешних по отношению к ней событий, она является цельной такой заизолированной вещью в себе.
При чисто-декларативном подходе, наоборот, программы как цельного куска кода не существует, а вместо неё существует множество коротеньких правил или формул, определяющих, как реагировать на то или иное событие.
Изначально сам наличный язык определял подход программирования (императивный: машинный код, Фортран, Бейсик, Алгол, Паскаль; декларативный: Лисп, Пролог), но постепенно выразительная мощность языков повышалась, а в массах одновременно росло осознание необходимости смешивать подходы в определённых пределах, поэтому современная программа на Си++, Яве или Перле имеет признаки как того, так и другого. Например, возникновение оконных интерфейсов сразу и с необходимостью потребовало, чтобы программа была способна реагировать на интерфейсные события: время, посвящённое чисто себе, стало непозволительной роскошью.
Теперь ближе к жизни. Когда мы говорим, что "в геноме записана программа жизни организма", имеется в виду декларативная программа. Отдельным декларациям соответствуют записи отдельных генов с их промотерами, терминаторами и прочими органами условного выполнения. Однако, выполнение её не чисто декларативно.
Дело в том, что декларативный подход вообще весьма пассивный, "иньский" - полное согласие со средой и никакого проявления личной воли. Как можно проявлять личную волю, когда тебя постоянно дёргает среда? Значит, нужно выстроить некоторый барьер, заизолироваться от среды, и только там, в своей песочнице, проявлять эту самую волю, самость. И организмы, каждый по-своему, пытаются строить барьеры и самовольничать.
Прокариоты (безъядерные одноклеточные) практически не имеют материальных мощностей для разделения событий в пространстве, поэтому они пытаются разделять временнОй ресурс. Их инструмент - это такой способ структурирования генома, где материал для реакций, которые должны происходить последовательно, закодирован последовательно в т.н. "опероны" - многогенные участки с одной общей точкой входа. Внешнее событие вызывает транскрипцию-трансляцию оперона (у прокариотов, поскольку ядра нет, эти процессы можно считать слитыми в один), а дальше управление переходит к собственно биохимии оперона, во время исполнения которого прокариот обладает "самостью", "личной волей". Поэтому прокариот должен быть предельно эффективным, ведь пока он выражает свою самость, он глух к внешним сигналам и его могут попросту сожрать. (Может быть поэтому у них такие короткие геномы и нет интронов?)
Эвкариоты (ядерные и большей частью многоклеточные) ставят как раз не на время, а на пространство. Их декларативные программы короче, каждая - длинной в один ген, но вот количество контекстов, где эти программы запускать, огромно. Во-первых, чётко разделены пространства ядра и цитоплазмы, потом в клетке есть дополнительные органеллы (заизолированные для проведения специфических реакций), но главное - ввиду многоклеточности над клеткой существует целый новый "этаж", где происходит в основном обработка внутренних, а не внешних для организма сигналов.
Подводя итог можно сказать, что мера декларативности (прозрачности, пассивной реактивности) программы (как живой, так и неживой) соответствует её интерактивности со средой. Чем больше интерфейса, тем больше декларативности, а чем больше самости и личной воли - тем больше императивности.
Можно ещё наблюсти интереснейшую параллель между оседлыми и кочевыми народами по Генону (см. напр. "Царство количества и знамения времени"), разница между которыми также в том, что одни живут во времени, а другие - в пространстве. Так можно понять, кто в живой природе соответствует евреям и цыганам, а кто - китайцам, но это отдельная большая тема :)
При чисто-императивном подходе программа, которую нужно исполнить, полностью содержит в себе граф переходов по самой себе. Можно сказать, что для императивной программы не существует внешних по отношению к ней событий, она является цельной такой заизолированной вещью в себе.
При чисто-декларативном подходе, наоборот, программы как цельного куска кода не существует, а вместо неё существует множество коротеньких правил или формул, определяющих, как реагировать на то или иное событие.
Изначально сам наличный язык определял подход программирования (императивный: машинный код, Фортран, Бейсик, Алгол, Паскаль; декларативный: Лисп, Пролог), но постепенно выразительная мощность языков повышалась, а в массах одновременно росло осознание необходимости смешивать подходы в определённых пределах, поэтому современная программа на Си++, Яве или Перле имеет признаки как того, так и другого. Например, возникновение оконных интерфейсов сразу и с необходимостью потребовало, чтобы программа была способна реагировать на интерфейсные события: время, посвящённое чисто себе, стало непозволительной роскошью.
Теперь ближе к жизни. Когда мы говорим, что "в геноме записана программа жизни организма", имеется в виду декларативная программа. Отдельным декларациям соответствуют записи отдельных генов с их промотерами, терминаторами и прочими органами условного выполнения. Однако, выполнение её не чисто декларативно.
Дело в том, что декларативный подход вообще весьма пассивный, "иньский" - полное согласие со средой и никакого проявления личной воли. Как можно проявлять личную волю, когда тебя постоянно дёргает среда? Значит, нужно выстроить некоторый барьер, заизолироваться от среды, и только там, в своей песочнице, проявлять эту самую волю, самость. И организмы, каждый по-своему, пытаются строить барьеры и самовольничать.
Прокариоты (безъядерные одноклеточные) практически не имеют материальных мощностей для разделения событий в пространстве, поэтому они пытаются разделять временнОй ресурс. Их инструмент - это такой способ структурирования генома, где материал для реакций, которые должны происходить последовательно, закодирован последовательно в т.н. "опероны" - многогенные участки с одной общей точкой входа. Внешнее событие вызывает транскрипцию-трансляцию оперона (у прокариотов, поскольку ядра нет, эти процессы можно считать слитыми в один), а дальше управление переходит к собственно биохимии оперона, во время исполнения которого прокариот обладает "самостью", "личной волей". Поэтому прокариот должен быть предельно эффективным, ведь пока он выражает свою самость, он глух к внешним сигналам и его могут попросту сожрать. (Может быть поэтому у них такие короткие геномы и нет интронов?)
Эвкариоты (ядерные и большей частью многоклеточные) ставят как раз не на время, а на пространство. Их декларативные программы короче, каждая - длинной в один ген, но вот количество контекстов, где эти программы запускать, огромно. Во-первых, чётко разделены пространства ядра и цитоплазмы, потом в клетке есть дополнительные органеллы (заизолированные для проведения специфических реакций), но главное - ввиду многоклеточности над клеткой существует целый новый "этаж", где происходит в основном обработка внутренних, а не внешних для организма сигналов.
Подводя итог можно сказать, что мера декларативности (прозрачности, пассивной реактивности) программы (как живой, так и неживой) соответствует её интерактивности со средой. Чем больше интерфейса, тем больше декларативности, а чем больше самости и личной воли - тем больше императивности.
Можно ещё наблюсти интереснейшую параллель между оседлыми и кочевыми народами по Генону (см. напр. "Царство количества и знамения времени"), разница между которыми также в том, что одни живут во времени, а другие - в пространстве. Так можно понять, кто в живой природе соответствует евреям и цыганам, а кто - китайцам, но это отдельная большая тема :)