RT @avarab: The #Perl Foundation's 100,000 EUR grant from booking.com http://t.co/Z5HRZyKk - L<link|http://twitter.com/zagru/statuses/146897431601229824>


RT @avarab: The #Perl Foundation's 100,000 EUR grant from booking.com http://t.co/Z5HRZyKk


TITLE

DESCRIPTION

comment

=begin comment :src
{
  "via": {
    "name": "Twitter",
    "url": "http://twitter.com/zagru/statuses/146897431601229824"
  },
  "from": {
    "id": "zag",
    "type": "user",
    "name": "углы «Исимуры»"
  },
  "date": "2011-12-14T10:20:51Z",
  "id": "e/76fb9a532c619e52fdc325e28f319fd8",
  "rawBody": "RT @avarab: The #Perl Foundation's 100,000 EUR grant from booking.com http://t.co/Z5HRZyKk",
  "url": "http://friendfeed.com/zag/76fb9a53/rt-avarab-perl-foundation-100-000-eur-grant-from",
  "rawLink": "http://twitter.com/zagru/statuses/146897431601229824",
  "likes": [
    {
      "date": "2011-12-14T14:39:10Z",
      "from": {
        "type": "user",
        "id": "kkapp",
        "name": "alex@kapranoff.ru"
      }
    },
    {
      "date": "2011-12-14T10:52:20Z",
      "from": {
        "type": "user",
        "id": "bessarabov",
        "name": "Ivan Bessarabov"
      }
    }
  ],
  "body": "RT @<a rel=\"nofollow\" href=\"http://twitter.com/avarab\">avarab</a>: The <a rel=\"nofollow\" href=\"http://search.twitter.com/search?q=%23Perl\">#Perl</a> Foundation's 100,000 EUR grant from booking.com <a rel=\"nofollow\" href=\"http://t.co/Z5HRZyKk\">http://t.co/Z5HRZyKk</a>"
}
=end comment


root

HTTP Status Cats - L<link|http://www.flickr.com/photos/girliemac/sets/72157628409467125/#>


Image

=begin comment :src
{
  "likes": [
    {
      "date": "2011-12-15T12:15:35Z",
      "from": {
        "id": "anpit",
        "type": "user",
        "name": "Andrey Pitushkin"
      }
    },
    {
      "from": {
        "id": "bessarabov",
        "type": "user",
        "name": "Ivan Bessarabov"
      },
      "date": "2011-12-15T11:07:17Z"
    },
    {
      "from": {
        "name": "Александр Семёнов",
        "type": "user",
        "id": "alsemyonov"
      },
      "date": "2011-12-15T08:13:09Z"
    },
    {
      "from": {
        "name": "piaff",
        "id": "piaff",
        "type": "user"
      },
      "date": "2011-12-15T06:43:25Z"
    },
    {
      "date": "2011-12-15T06:23:40Z",
      "from": {
        "type": "user",
        "id": "godegisel",
        "name": "godegisel"
      }
    },
    {
      "from": {
        "name": "alex@kapranoff.ru",
        "id": "kkapp",
        "type": "user"
      },
      "date": "2011-12-15T06:06:25Z"
    }
  ],
  "rawLink": "http://www.flickr.com/photos/girliemac/sets/72157628409467125/#",
  "body": "HTTP Status Cats - <a rel=\"nofollow\" href=\"http://www.flickr.com/photos/girliemac/sets/72157628409467125/#\" title=\"http://www.flickr.com/photos/girliemac/sets/72157628409467125/#\">http://www.flickr.com/photos...</a>",
  "id": "e/5f730ee3683d420d98bdf7bb191a8626",
  "date": "2011-12-15T05:17:04Z",
  "url": "http://friendfeed.com/zag/5f730ee3/http-status-cats",
  "rawBody": "HTTP Status Cats",
  "thumbnails": [
    {
      "url": "http://m.friendfeed-media.com/b19d4e3a9ce6913b415383862d44d478b1d80d14",
      "width": 219,
      "height": 175,
      "link": "http://www.flickr.com/photos/girliemac/sets/72157628409467125/#"
    },
    {
      "link": "http://www.flickr.com/photos/girliemac/sets/72157628409467125/#",
      "height": 75,
      "url": "http://m.friendfeed-media.com/e0574d5e388d5a81eeb2ff674c66cbd38a60d26f",
      "width": 75
    },
    {
      "width": 75,
      "url": "http://m.friendfeed-media.com/7ae6699ba87aecd6bbf4079ec3666e5cd64093da",
      "link": "http://www.flickr.com/photos/girliemac/sets/72157628409467125/#",
      "height": 75
    }
  ],
  "via": {
    "name": "Bookmarklet",
    "url": "http://friendfeed.com/share/bookmarklet"
  },
  "from": {
    "name": "углы «Исимуры»",
    "id": "zag",
    "type": "user"
  }
}
=end comment


HTTP Status Cats


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


Реализация приоритетности операторов с помощью грамматик Perl 5


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


Таблица приоритетности операторов 


head

Приоритетность в математических ( и в любых других ) выражениях - вещь очень привычная. Для простого выражения:


сначала будет выполнена операция умножения, а затем - сложения. Синтаксическое дерево можно представить в следующем виде :


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


Синтаксическое дерево будет выглядеть иначе:


Как видим группирующие скобки вносят корректировку в последовательность вычислений.


И еще один пример выражения:


в котором используется унарный оператор B<-> (минус) перед группирующей скобкой. Для него дерево будет следующее:


Унарный C<-> имеет более высокий приоритет по сравнению с C<*>.


Исходя из приведенных примеров можно составить таблицу приоритетов (I<3 - высший приоритет>):


table_head

  ===============+===============+=========


table_row

table

=begin table :caption('Таблица приоритетов')
    приоритет    | оператор      | описание, действие 
  ===============+===============+=========
      1               +, -           сложение, вычитание
      2               *, /            операторы умножения, деления
      3               unary -       унарный минус
=end table


Грамматика, реализующая приоритетность, выглядит так:


code

=begin code :allow<B>
 my $q = qr{
     <expr>
    <rule: expr>
                # бинарные операции +-
                <a=mult> <op=([+-])> <b=expr> 
                | <MATCH=mult> 

    <rule: mult> 
                <a=term> <op=([*/])> <b=mult> 
                | <MATCH=term>

     <rule: term> 
              <MATCH=Digit> 
            | <Sign=([+-])> $ <expr>$ B<# unary->
            | $ <MATCH=expr> $   B<# группирующие скобки>

    B<#токен, описывающий допустимый числовой агрумент>
    <token: Digit>
            [+-]? \d++ (?: \. \d++ )?+ 
    }xms;

=end code


Как видим поиск совпадений начинается с поиска наиболее приоритетного унарного минуса и учета группирующих скобок (токен I<term>), затем - операции C<*> и C</> (правило I<mult>) и т.д. 


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


Результат успешной работы грамматик (структура совпадений правил) сохраняется в переменной C<%/>. Отобразить результат можно следующим кодом:


use Data::Dumper;
my $t = q! 3 + 5 * 6 !;
if ($t =~ $q) {
    print Dumper \%/;
} else {
 warn "Error parse"
}


Так, для исходного примера C< 3 + 5 * 6>, результат применения грамматик будет выглядеть следующим образом:


=begin code :allow<B>

      # 3 + 5 * 6 
      {
          'a' => '3', # первый аргумент - B<число>
          # второй аргумент - B<выражение>
          'b' => {    
                   'a' => '5',
                   'b' => '6',
                   'op' => '*'
                 },
          B<'op'> => '+' # B<оператор>
       };
=end code


Для выражения с унарным минусом:


=begin code :allow<B>
     #- (2 * -3)
     {
     'expr' => {
                  'a' => '2',
                  'b' => '-3',
                  'op' => '*'
                },
     B<'Sign'> => '-' 
     }
=end code


Чтобы полученные структуры можно было использовать как элементы синтаксического дерева, требуется ассоциировать с каждым правилом класс. Для этого достаточно заменить C<rule> на C<objrule> с указанием класса:


=begin code :allow<B>
    <B<objrule: ExpClass::mult>>  # объект оператора
                <a=term> <op=([*/])> <b=mult> 
                | <MATCH=term>
=end code


В результате мы получаем структуру объектов, построенную в соответствии с приоритетностью, определенной на уровне грамматик.
