1. Возможность не описывать поля модели хранящейся в БД
   
2. Возможность сформировать пачку данных и передать их во вьюху не заморачиваясь описанием их структуры
   
3. Возможность нагенерировать удобных хелперных методов для каждого чиха пользуясь соглашениями об именовании.
   
4. Делать красивые DSL заточенные для мелких задач.

Z>А от тебя я все еще жду реальные примеры применения МП. Ведь у тебя множество исследовательских проектов применяющих МП. Не обязательно код, у тебя же наверняка NDA Просто проблема, способ решения.

проблема:
в стандартной трехзвенке — для описания бизнес-логики приходится использовать три с половиной языка: c#, sql, js и xpath
решение:
введение единого языка для описания бизнес-логики — который транслируется во все эти три с половиной языка

проблема:
последовательная-синхронная запись — подвешивает программу на операциях коммуникации с внешними источниками и длительных вычислениях.
запись в виде cps — сложна в понимании, изменении и поддержке.

решение:
код записывается как последовательный-синхронный, но автоматически преобразуется в cps

проблема:
удобная объектно-ориентированная запись бизнес-логики приводит к большому кол-ву запросов к базе

решение:
поддержка двухфазной модели выполнения бизнес-логики:
на первой фазе пробегом по дереву БЛ определяется какие данные она требует и склеивание в единый запрос, данные запрашиваются и складываются в кэш
на второй фазе — БЛ исполняется поверх кэша

ВВ>using system;
ВВ>out x = puts x $$ out;
ВВ>out "One" "Two" "Three" "Four" "Five";
ВВ>

ВВ>Впрочем, может, знаний не хватило

ВВ>Какого еще веб-сервера?

[assembly: Nemerle.Macro.Resource("Resources.resx")]

ВВ>Два решения? А губа не треснет? Тут одно бы найти

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

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

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

.net-ный linq очень плохо помогает при условных запросах.
когда конечный запрос собирается из кусочков на основе ввода пользователя (например, по каким полям фильтровать и сортировать)

зы
еще у нескомпилированного linq на каждый запрос куда-то уходит ровно 50мс, соответственно больше 20 запросов в секунду не сделать.

    def test = json({ 
      a : arr; 
      b : obj; 
      c : null;
      d : true;
      e : { a : 1; "la la": null};
      "f" : [true];
      j : (43 + 55);
    });

    def strObj = "test";
    def test = json({ 
      j : (strObj : string);
    });

(*pp camlp4o pa_comprehension.cmo pa_estring.cmo pa_strings.cmo *)

let sum x y = x + y

let sum x y = (x + y) :: (y + x)

val viewReturn = Person.queryView("design_name", "people_by_age", _.key(JString(JInt(30))))

viewReturn = Person.design_name.people_by_age(30)

val design: JObject = 
  ("language" -> "javascript") ~
  ("views" -> (("people_by_age" ->  ("map" -> "function(doc) { if (doc.type == 'Person') { emit(doc.age, doc); } }")) ~
               ("oldest"        -> (("map" -> "function(doc) { if (doc.type == 'Person') { emit(doc.name, doc.age); } }") ~
                                    ("reduce" -> "function(keys, values) { return Math.max.apply(null, values); }")))))

def design = json({
  language: "javascript";
  views: {
     people_by_age: {
         map: "function(doc) { if (doc.type == 'Person') { emit(doc.age, doc); } }"
     };
     oldest: {
         map: "function(doc) { if (doc.type == 'Person') { emit(doc.name, doc.age); } }";
         reduce: "function(keys, values) { return Math.max.apply(null, values); }"
     }
  }
})

K>Уже пару гневынх пстов о "хорошей" документации великого и ужасного было

* One dev to spend five minutes implementing ChangeLightBulbWindowHandleEx.
* One program manager to write the specification.
* One localization expert to review the specification for localizability issues.
* One usability expert to review the specification for accessibility and usability issues.
* At least one dev, tester and PM to brainstorm security vulnerabilities.
* One PM to add the security model to the specification.
* One tester to write the test plan.
* One test lead to update the test schedule.
* One tester to write the test cases and add them to the nightly automation.
* Three or four testers to participate in an ad hoc bug bash.
* One technical writer to write the documentation.
* One technical reviewer to proofread the documentation.
* One copy editor to proofread the documentation.
* One documentation manager to integrate the new documentation into the existing body of text, update tables of contents, indexes, etc.
* Twenty-five translators to translate the documentation and error messages into all the languages supported by Windows.The managers for the translators live in Ireland (European languages) and Japan (Asian languages), which are both severely time-shifted from Redmond, so dealing with them can be a fairly complex logistical problem.
* A team of senior managers to coordinate all these people, write the cheques, and justify the costs to their Vice President.

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

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

 world.Managers.MyOrderBy({Name:asc, Money: desc})

string field;
string op;
string value;

string field;
bool isAscElseDesc;

filters: 
{field:'name', op:'starts', value='василий'}, 
{field:'birthday', op:'>=', value='10.01.1974'}, 
{field:'company', op:'==', value='rsdn'},

orders:
{field:'name', isAscElseDesc:true},
{field:'birthday', isAscElseDesc:false},

filters: 
{op='and'
 {op='or',
   {field:'name', op:'starts', value='василий'}, 
   {field:'name', op:'starts', value='дмитрий'}, 
 }
 {field:'birthday', op:'>=', value='10.01.1974'}, 
 {field:'company', op:'==', value='rsdn'},
}

orders:
{field:'name', isAscElseDesc:true},
{field:'birthday', isAscElseDesc:false},