Мартин Фаулер. Предметно-ориентированные языки программирования

Этот пост о книге Мартина Фаулера, которую он анонсировал здесь, а знакомство с этим постом совпало по времени с моментом, когда нам пришлось разрабатывать свой DSL для описания SQL-запросов в программном коде на Delphi.

Ранее я уже поднимал тему внутренних DSL, т.е. DSL, в которых носителем синтаксиса является другой язык (Delphi в моём случае). С того момента мы существенно продвинулись - эта тема получила ряд интереснейших, на мой взгляд продолжений, но это уже другая история.

Хотя, пожалуй приведу пример того, что мы имеем в настоящий момент:

ПоказатьСкрыть

procedure hnd_CON_TIME_ApplyTriggers(P: Pointer; var Event: TComEvent);
var
  DBC: TCustomConnection;
  parms: ^TEvent_TriggerContainer_ApplyTriggers;
 
  function IsLastWork: Boolean;
  var
    other_works: TDataSet;
  begin
    { найти новые записи }
    other_works := CreateDataSetSelector
      .UseDBC(DBC)
      .SetISelect(
        QuerySelect()
          .Columns([
            Column(QRName(nmDate)),
            Column(QRName(nmTime))
          ])
          .From(FromTable(snCON_TIME))
          .Where(
            &And([
              Compare(QRName(''), coNotEqual, Value(GetDataSetRecId(parms.DataSet))),
              Compare(QRName(nmContactCode), coEqual, Value(parms.DataSet, nmContactCode)),
              Compare(QRName(nmDate), coGreatEqual, Value(parms.DataSet, nmDate))
            ])
          )
          .OrderBy([
            OrderItem(QRName(nmDate), odDesc),
            OrderItem(QRName(nmTime), odDesc)
          ])
        )
      .Open
      .DataSet;
 
    Result := other_works.IsEmpty;
    if not Result then // проверить время
      Result :=
        (CompareDate(
          other_works.FieldByName(nmDate).AsDateTime,
          parms.DataSet.FieldByName(nmDate).AsDateTime
         ) = EqualsValue) and
        (other_works.FieldValues[nmTime] <= parms.DataSet.FieldValues[nmTime]);
  end;
 
  procedure SetContactStatus;
  var
    contact_data: TDataSet;
    vStatus: Variant;
  begin
    { найти нужную запись }
    contact_data := CreateDataSetSelector
      .UseDBC(DBC)
      .FromTable(snLC_CONT)
      .AddKeyValuePair(nmContactCode, Value(parms.DataSet, nmContactCode))
      .SelectColumns([nmStatusCode, nmStatusDate, nmStatusTime, nmStatusMaster])
      .Open
      .DataSet;
    if contact_data.IsEmpty then
      Exit;
 
    { установить статус }
    if parms.DataSet.FieldValues[nmWorkKindCode] = wkContact then
      if contact_data.FieldValues[nmStatusCode] = rqsRegistered then
         vStatus := rqsAccepted
      else
        Exit
    else
      vStatus := CreateDataSetSelector
        .UseDBC(DBC)
        .FromTable(snS_WORK)
        .AddKeyValuePair(nmWorkKindCode, Value(parms.DataSet, nmWorkKindCode))
        .SelectColumns([nmStatusCode])
        .OpenNotEmpty
        .DataSet.FieldValues[nmStatusCode];
 
    if (vStatus <> contact_data.FieldValues[nmStatusCode]) and (vStatus <> 0) then
      begin
        contact_data.Edit;
        contact_data.FieldValues[nmStatusCode] := vStatus;
        contact_data.FieldValues[nmStatusDate] := parms.DataSet.FieldValues[nmDate];
        contact_data.FieldValues[nmStatusTime] := parms.DataSet.FieldValues[nmTime];
        contact_data.FieldValues[nmStatusMaster] := CreateDataSetSelector
          .UseDBC(DBC)
          .FromTable(snUSERS)
          .AddKeyValuePair(fnIdentU, Value(UserPrivateCode))
          .SelectColumns([nmMasterCode])
          .OpenNotEmpty
          .DataSet.FieldValues[nmMasterCode];
        ForcePostData(contact_data);
      end;
  end;
 
var
  trs: IDBTransaction;
begin
  parms := Event.Parms;
  DBC := ExtractConnection(parms.DataSet);
  if parms.Operation in [DC_INSERT, DC_MODIFY] then
    begin
      trs := Transaction(DBC);
      try
        PassEvent(Event);
        if (parms.Operation = DC_INSERT) or IsLastWork then
          SetContactStatus;
        trs.Commit;
      except
        trs.RollBack;
        raise;
      end;
    end;
end;

Хочу сказать о книге. Она удачна, хотя к стилю изложения Фаулера я испытываю отношение, которое сродни его отношению к использованию XML в качестве носителя синтаксиса DSL :-), очевидно, что автор знает, о чём он пишет.
В книге выделю часть IV "Вопросы создания внутренних DSL", в которой автор вводит понятие Построителя выражений, и рассматривает различные способы его настройки. Среди способов настройки автор довольно внятно описывают, в частности fluent-технику, которую называет "соединение методов в цепочки".
Думаю, что если бы была возможность ознакомиться с материалом год назад, мы вероятно не потратили бы две-три недели на изобретение того, что у него изложено довольно системно. Хотя... Как сказать... ;-)
Разумеется, в книге рассматриваются и другие подходы к разработке DSL.
Приятной особенностью книги является наличие разделов "Как это работает" и "Когда это использовать", что более чем востребовано при описании подходов.
В электронном виде книга стоит около 120 рублей, купил её я на books.ru, но думаю, приобрести несложно и в других местах...