Очередное "рождество" на носу. Доколе ? #perl6


TITLE

DESCRIPTION

comment

=begin comment :src
{
  "from": {
    "id": "zag",
    "type": "user",
    "name": "углы «Исимуры»"
  },
  "body": "Очередное &quot;рождество&quot; на носу. Доколе ? <a href=\"http://friendfeed.com/search?q=%23perl6\">#perl6</a>",
  "likes": [
    {
      "date": "2011-12-07T20:36:27Z",
      "from": {
        "name": "alex@kapranoff.ru",
        "type": "user",
        "id": "kkapp"
      }
    }
  ],
  "rawLink": "http://friendfeed.com/e/c31280dc-6d5c-4158-a694-9d863b91638c",
  "id": "e/c31280dc6d5c4158a6949d863b91638c",
  "rawBody": "Очередное \"рождество\" на носу. Доколе ? #perl6",
  "date": "2011-12-07T20:12:43Z",
  "url": "http://friendfeed.com/zag/c31280dc/perl6"
}
=end comment


root

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


Реализация приоритетности операторов с помощью грамматик 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


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


На coderwall.com раздают медали #github. Верблюды похоже кончились. - L<link|http://coderwall.com/zahatski>


Image

"Have at least one original repo where perl is the dominant language"


item

На coderwall.com раздают медали #github. Верблюды похоже кончились.


=begin comment :src
{
  "via": {
    "url": "http://friendfeed.com/share/bookmarklet",
    "name": "Bookmarklet"
  },
  "from": {
    "id": "zag",
    "type": "user",
    "name": "углы «Исимуры»"
  },
  "comments": [
    {
      "body": "&quot;Have at least one original repo where perl is the dominant language&quot;",
      "via": {
        "url": "http://friendfeed.com/share/bookmarklet",
        "name": "Bookmarklet"
      },
      "id": "e/30d2c95eb3fe46f59857222bdf32d986/c/f3f066202e7346e7a7768f8c885629f3",
      "date": "2011-12-06T08:34:29Z",
      "from": {
        "name": "углы «Исимуры»",
        "id": "zag",
        "type": "user"
      },
      "rawBody": "\"Have at least one original repo where perl is the dominant language\""
    }
  ],
  "date": "2011-12-06T08:34:29Z",
  "id": "e/30d2c95eb3fe46f59857222bdf32d986",
  "rawBody": "На coderwall.com раздают медали #github. Верблюды похоже кончились.",
  "thumbnails": [
    {
      "url": "http://m.friendfeed-media.com/84c0e84ef7c0691c88bf2ab98d84b7ee02907501",
      "width": 175,
      "height": 175,
      "link": "http://coderwall.com/zahatski"
    },
    {
      "url": "http://m.friendfeed-media.com/671feef6e50bd7eb396b525143656265c51c04d4",
      "width": 175,
      "height": 175,
      "link": "http://coderwall.com/zahatski"
    },
    {
      "height": 175,
      "link": "http://coderwall.com/zahatski",
      "width": 175,
      "url": "http://m.friendfeed-media.com/f4ec751d9521898e145f3dd6d135ac07fa6e572e"
    }
  ],
  "url": "http://friendfeed.com/zag/30d2c95e/coderwall-github",
  "rawLink": "http://coderwall.com/zahatski",
  "likes": [
    {
      "from": {
        "name": "Ivan Bessarabov",
        "id": "bessarabov",
        "type": "user"
      },
      "date": "2011-12-06T08:40:36Z"
    }
  ],
  "body": "На coderwall.com раздают медали <a href=\"http://friendfeed.com/search?q=%23github\">#github</a>. Верблюды похоже кончились. - <a rel=\"nofollow\" href=\"http://coderwall.com/zahatski\">http://coderwall.com/zahatski</a>"
}
=end comment
