77341

Язык программирования 0xfb.L

Научная статья

Информатика, кибернетика и программирование

Близится выход С0x новой расширенной версии С которая может стать тем самым инструментом но стандарт С сам по себе очень сложен синтаксис система типов виртуальные методы не все компиляторы поддерживают все возможности поэтому расширение кажется спорным решением. Концепция является результатом развития идей метапрограммирования Lisp Nemerle и сводится к динамическому выстраиванию окружения состоящего из типов переменных и операторов во время компиляции. В процессе компиляции каждое выражение синтаксическая конструкция...

Русский

2015-02-02

65.5 KB

0 чел.

Язык программирования 0xfb.L

Косенко В.В.

УрГУ, г. Екатеринбург

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

  •  императивность + ФП = монады (Haskell);
  •  императивность + ФП = Linq, TFunc (C#).

Разработка действительно упрощается, но программы созданные с помощью современных подходов проигрывают прямолинейным и зачастую более громоздким реализациям на С и С++ как минимум в два раза по скорости исполнения и в эффективности использования оперативной памяти (http://shootout.alioth.debian.org/). Давно сформированные и далее не развивавшиеся языки остаются востребованными, потому что построение инструмента одновременно эффективного, как с точки зрения выполнения, так и с точки зрения разработки представляет собой сложную задачу. Близится выход С++0x - новой расширенной версии С++, которая может стать тем самым инструментом, но стандарт С++ сам по себе очень сложен (синтаксис, система типов, виртуальные методы), не все компиляторы поддерживают все возможности, поэтому расширение кажется спорным решением.

Более привлекательной представляется концепция языка 0xfb.L (оригинальное название 7fa2.L или RiDE.L) [1,2], согласно которой можно построить доступный в реализации, и эффективный язык программирования, предложив новый механизм компиляции, при котором множество базовых конструкций языка будет описываться на самом языке. Концепция является результатом развития идей метапрограммирования (Lisp, Nemerle) и сводится к динамическому выстраиванию окружения, состоящего из типов, переменных и операторов, во время компиляции.

За основу взят язык алгебраических выражений:

  •  упрощенная лексика языка С (без ключевых слов, фигурных и квадратных скобок, операций инкремента/декремента и многострочных комментариев) с двумя автогенерируемыми операторами:
  1.  бинарный apply

x y - пара токенов заменяется лексическим анализатором на тройку x apply y,

если x{ID,CONST,)} y{ID,CONST,(}

  1.  унарный $

цепочка E;...;E заменяется синтаксическим анализатором на E$;...;E$,

где E – нетерминал, обозначающий выражение;

  •  операторный синтаксис.

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

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

Итак, тип выражения выводится последовательно в два этапа:

Этап 1:

если выражение – оператор

тип значения оператора

иначе (атомарное выражение)

если записывается лексемой идентификатора

  если зарегистрирована переменная с таким именем

   тип переменной

  иначе

   T_ID

 иначе (записывается лексемой константы)

  T_CONST

Этап 2:

если выражение – аргумент некоторого оператора

 тип из сигнатуры подходящего оператора

иначе

 результат первого этапа

В языке предусмотрен специальный тип T_BE для нескомпилированных выражений, для функционирования которого в алгоритм необходимо внести поправку:

если выражение является аргументом оператора, в множестве зарегистрированных сигнатур которого найдется хотя бы одна, согласно которой выражение имеет тип T_BE, тогда отрабатывает только второй этап алгоритма.

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

Другой необычный тип языка T_TYPE. Выражения данного типа хранят в себе описатели типов языка, поэтому можно, например, создать переменную с именем int и сохранить в ней указатель на тип целых чисел. Аналогично добавляются и другие примитивные типы. Предполагается, что похожая схема позволит конструировать и более сложные типы (структуры, объекты и генеративные типы).

Свой тип T_OP имеется и для указателей на регистрируемые операторы.

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

базисные типы регистрируются первыми T_TYPE, T_ID, T_CONST, T_OP, T_BE и строго в данном порядке.

Привычного набора операторов в самом начале тоже нет. Вместо этого введена пара особых (с фиксированной семантикой) связывающих операторов:

  •  оператор «;» сцепляющий произвольные выражения в список

пустая реализация, значение равно значению последнего выражения;

  •  оператор «,» позволяющий управлять арностью других операторов

пример: (a,b)+c - трехоперандное сложение, (a,b)+(c,d) - четырех.

Кроме того, по умолчанию регистрируется тип T_ASM, переменная asm этого типа и исходный оператор

apply # T_ASM/T_BE (метка apply, левый аргумент типа T_ASM, правый - T_BE)

Значением второго аргумента этого оператора должна быть строковая константа, содержащая ассемблерный код в тернарной форме. Код может содержать как обычные инструкции, так и специальные - директивы компилятору. Директивы интерпретируются семантическим блоком компилятора во время компиляции, взаимодействуя с окружением:

  •  регистрация и конфигурирование типов, переменных и операторов
  •  работа со структурами времени компиляции и с фрагментами дерева разбора

Проинтерпретированные директивы исключаются из потока инструкций, и все, что осталось, становится реализацией исходного оператора.

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

если выражение - оператор

 код аргументов (при проходе слева направо) + реализация оператора

иначе (атомарное выражение)

пусто

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

  1.  по метке и числу аргументов определить множество выбора E. I = .
  2.  перебираем выражения-аргументы ei слева направо

Ex = {s|sE s[i]=T_BE}

Ix = {s|sI s[i]=T_BE}

если Ex = и Ix =

компилируем ei

 Ex = {s|sE s[i]=тип ei}

 Ix = {s|sE ei-идентификатор и s[i]=T_ID}{s | sI s[i]=тип ei}

 если Ix =  и Ex = 

  нет оператора

E = Ex

I = Ix

  1.  если E ≠ ∅

E[0]

иначе

I[0]

Множество I дает операторам с типом T_ID в сигнатуре особый приоритет, что может быть удобно при реализации свойств и методов для ООП.

На данный момент для Windows реализованы все описанные алгоритмы в виде рабочей связки лексического, синтаксического и семантического анализаторов. Для нового языка написана первая библиотека, реализующая необходимые операторы для привычного определения типов, переменных и операторов, а также таких конструкций как if-else, for-break-continue и switch-case-default-break. Сейчас ведется разработка блока генерации кода, позволяющего компилировать 0xfb.L в MSIL для применения в .Net приложениях.

Литература

  1.  Бахтерев М.О. Язык программирования 7fa2.L // Третья международная конференция "Информационно-математические технологии в экономике, технике и образовании" г.Екатеринбург, 20-22 ноября 2008 г. Тезисы докладов. Стр.215-216.
  2.  Бахтерев М.О., Косенко В.В. Язык программирования RiDE.L // Тезисы 11-го Международного семинара "Супервычисления и Математическое моделирование", РФЯЦ-ВНИИЭФ, Саров, 2009, с. 25-26.


 

А также другие работы, которые могут Вас заинтересовать

17623. Метод наименьших квадратов. Функциональная стохастическая и корреляционная связи 226.5 KB
  Метод наименьших квадратов План: Что такое функциональная стохастическая и корреляционная связи Что такое метод наименьших квадратов МНК Первая процедура МНК: проверка гипотезы о существовании связи. Вторая процедура МНК: подбор лучшей функци...
17624. Двухфакторная линейная модель: предсказание одного фактора на основании другого 115 KB
  Тема: Двухфакторная линейная модель: предсказание одного фактора на основании другого План: Коэффициент корреляции. Диаграмма рассеяния. Регрессионный анализ. Проверка надежности регрессионной модели. Прогнозирование. Тремя основными целя...
17625. Многофакторная регрессия: основные понятия 180 KB
  Тема: Многофакторная регрессия: основные понятия План: Что такое множественная регрессия Как будут выглядеть результаты множественной регрессии. Как выглядит компьютерная распечатка результатов множественной регрессии. Окружающий нас мир мн...
17626. Интерпретация результатов многофакторного моделирования 156 KB
  Тема: Интерпретация результатов многофакторного моделирования Пример. Реклама в журналах. Название журнала Y тариф одна страница цветной рекламы дол. X1 планируемая аудитория тыс. че...
17627. Статистические выводы по многофакторной модели 247 KB
  Тема: Статистические выводы по многофакторной модели Насколько хороши наши прогнозы Этот раздел следует рассматривать в основном как обзор поскольку стандартное отклонение оценки Se и коэффициент детерминации R2 имеют для множественной регрессии вообще гово
17628. Сложности и проблемы, связанные с множественной регрессией 62 KB
  Тема: Сложности и проблемы связанные с множественной регрессией К сожалению на практике множественная регрессия не всегда позволяет получить результаты о которых пишут в учебниках. В этой лекции приведен перечень потенциальных проблем и некоторые соображения п
17629. Составление отчетов: представление результатов множественной регрессии 87.5 KB
  Тема: Составление отчетов: представление результатов множественной регрессии Умение грамотно изложить представить результаты проделанной работы важная составляющая профессиональной деятельности в большинстве областей. Менеджер использует соответствующие к
17630. Фундаментальні поняття контроллінга 109.5 KB
  Тема 1. Фундаментальні поняття контроллінга 1. Сутність принципи і сфера застосування контроллінга 2. Мета предмет методи і об’єкти контроллінга 3. Функції та завдання контроллінга 1. Сутність принципи і сфера застосування контроллінга Під контроллінгом ...
17631. Організаційна структура та функції управління 140 KB
  Тема 2. Організаційна структура та функції управління 1. Вибір організаційної структури управління 2. Функції управління 3. Роль контроллінга в процесі управління Вибір організаційної структури управління Сучасна теорія та практика менеджменту вва...