Предметно-ориентированные языки программирования (DSL)

Предметно-ориентированныеязыки программирования

Кириллов Александр, UNDEV

[ DSL ]

Предметно-ориентированный язык - Предметно-ориентированный язык -

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

Мартин Фаулер

[ DSL ]

Зачем?

[ DSL ]

Зачем?

[ DSL ]

Ох уж эти скобки...

Зачем?

[ DSL ]BankAccount.configure do |account| account.number 1234 account.type :checking account.openDate '11.04.1974' account.balance 25382.20 account.holder do |holder| holder.lastName 'Singh' holder.firstName 'Darshan' endend

BankAccount: number: 1234 type: checking open_date: '11.04.1974' balance: 25382.20 account_holder: last_name: Singh first_name: Darshan

Ruby:

YAML:

Зачем?

[ Ключевые моменты ]

Где и кто использует DSL?


Где и кто использует DSL:- конфигурации# TravisCI config file (.yaml)script: "bundle exec rake travis"before_script: ./bin/ci/before_build.shservices: mongodbrvm: - 1.9.3notifications: email: - [email protected] - [email protected] irc: "irc.freenode.org#locomotivecms"branches: only: - master


Где и кто использует DSL:- конфигурации- зависимости пакетов# Gemfilesource 'http://rubygems.org'

gem 'rails', '3.2.12'group :assets do gem 'therubyracer' gem 'select2-rails', github: "argerim/select2-rails"endgroup :test do gem "minitest" gem 'mocha', require: falseend

http://rubygems.org/


Где и кто использует DSL:- конфигурации- зависимости пакетов- части фреймворков# Sample resource routeresources :products do resources :comments resources :sales do get 'recent', on: :collection endend


Где и кто использует DSL:- конфигурации- зависимости пакетов- части фреймворков- системы тестирования# Rspec exampledescribe Account do it "has a balance of zero when first created" do Account.new.balance.should eq(Money.new(0)) expect { @a = 5 }.to change { @a }.from(nil).to(5) endend


Где и кто использует DSL:- системы тестирования# language: ruФункционал: Сложение чисел Чтобы не складывать в уме Все, у кого с этим туго Хотят автоматическое сложение целых чисел

Сценарий: Сложение двух целых чисел Допустим я ввожу число 50 И затем ввожу число 70 Если я нажимаю "+" То результатом должно быть число 120


Где и кто использует DSL:- и еще-еще-еще...


Язык программирования



Декларативный подходЧТО делатьвместо

КАК делать



Декларативный подход

Природа языка





Ограниченные выразительныевозможности





Ограниченные выразительныеВозможности

Ориентированность на предметную область

[ Категории DSL ]

{

Внутренний DSL: 'Lisp, Ruby, etc...',

}


{


Внешний DSL: 'XML, RegExp, SQL, CSS'

}


{


Внешний DSL: 'XML, RegExp, SQL, CSS',

Языковые инструментальные средства: '*'

}

[ Реализация DSL ]

[ Реализация DSL ]

[ Внутренний DSL ]

processor = Processor.new(arch: :i386, cores: 2)dsk1 = Disk.new(size: 150.GB, speed:7200)dsk2 = Disk.new(size: 70.GB, speed:7200)computer = Computer.new({ processor: processor, disks: [dsk1, dsk2]})

Применение обычного API:

> Текучий интерфейс (fluent interface)



processor = Processor.new(arch: :i386, cores: 2)dsk1 = Disk.new(size: 150.GB, speed:7200)dsk2 = Disk.new(size: 70.GB, speed:7200)computer = Computer.new({ processor: processor, disks: [dsk1, dsk2]})

Применение обычного API:

...понятно програ

ммисту

непонятно специа

листу предметной об

ласти...


computer() .processor() .cores(2) .x64() .disk() .size(150) .speed(7200) .disk() .size(70) .speed(7200)

Связывание методов:Связывание методов:



$("#menu") .fadeIn('fast') .addClass("active") .css('marginRight', '10px');




$("#menu") .fadeIn('fast') .addClass("active") .css('marginRight', '10px');



$("#thumbnails li").mouseenter(function(e){ $(this).find('img') .stop() .animate({opacity: 0.8}, 300) .end() .find('.viewcasestudy') .fadeIn('fast');}).fadeIn('fast');


computer()--processor()----cores(2)----x64()--disk()----size(150)----speed(7200)--disk()----size(70)----speed(7200)

Последовательность функций:Последовательность функций:Связывание методов



computer(--processor(----cores(2),----x64()––),--disk(----size(150),----speed(7200)––),--disk(----size(70),----speed(7200)--))

Вложенные функции:Вложенные функции:Связывание методовПоследовательность функций



ComputerBuilder.build do |c| c.processor do |p| p.cores 2 p.x64 p.speed 2.2 end c.disk do |d| d.size 120 end c.disk do |d| d.size 70 d.speed 7200 d.sata endend

Замыкания:Замыкания:Последовательность функцийВложенные функции

Связывание методов> Текучий интерфейс (fluent interface)



> Работа с синтаксическим деревом




> Аннотации





> Макросы





> Макросы

> Динамический отклик

def method_missing(m, *args, &block) puts "There's no method called #{m} here."end

[ Внешний DSL ]

> Синтаксический анализ



Входной поток — это обычный текст (...обычно o_0)



event door_openedevent link_clickedevent window_closed

command play_musiccommand volume_up 10command send_message "Hello, world"

Управляемая разделителями трансляцияDelimiter-Directed Translation



event door_opened\nevent link_clickedevent window_closed


разделитель

инструкция




event door_openedevent link_clickedevent window_closed



Ограничение:

Нет способов обработкииерархического контекста



event door_opened link_clickedend

command play_music volume_up 10 send_message "Hello, world"end

Синтаксически управляемая трансляцияSyntax-Directed Translation

commandsblock

command endcommandDec commandDec

play_music volume_up 10



Грамматика входного языка.

list : eventList commandList ;eventList : 'events' eventDec* 'end';eventDec : identifier ;commandList : 'commands' commandDec* 'end';commandDec : identifier identifier? ;



Грамматика входного языка.

Форма Бэкуса-Наура

[E]BNFlist : eventList commandList ;eventList : 'events' eventDec* 'end';eventDec : identifier ;commandList : 'commands' commandDec* 'end';commandDec : identifier identifier? ;



Синтаксический анализатор на основерекурсивного спускаRecursive Descent Parser



Комбинатор синтаксических анализаторовParser Combinator

Комбинаторкоманд

Анализаторначала блока команд

Комбинаторсписка команд

Анализаторконца блока команд

Анализаторкоманды

Анализатораргумента команды



Генератор синтаксических анализаторовParser Generator

Грамматика

a : ID INT ;ID : 'a'..'z'+ ;INT : '0'..'9'+;

Синтаксическийанализатор

Генерация

[ Для чего все это? ]

В результате мы должны иметьпостроенную семантическую модель



> Для использования в программном продукте



> Для использования в программном продукте

> Для генерации нового кода

[ Генерация кода ]

> Генерация c помощью преобразователя Transformer Generation



> Шаблонная генерация Templated Generation



> Шаблонная генерация Templated Generation

> Встроенный помощник Embedment Helper

[ Если Вы заинтересованы ]

http://martinfowler.com/dslCatalog/

[ Спасибо за внимание! ]

Кириллов Александрhttp://twitter.com/saratovsource

Technology

Предметно-ориентированные языки программирования (DSL)