DomainSpecificLanguagesinErlang领域特定语言讲解学习.ppt

* Domain Specific Languagesin Erlang An Overview ... Erlang is ... A Domain Specific Language is ...? Internal DSLs External DSLs? A simple DSL implementation Dynamic code loading? A complex DSL implementation erl_scan module erl_parse module erl_eval module Erlang is ... a functional programming language with native constructs for concurrency and reliability. ? Message passing / Actor Model? Dynamic code loading Single Assignment Strict Evaluation? Tail Recursion Created more than 20 years ago Open sourced in 1998? There are many ways to do this ... .erl scanner parser interpreter $$$ A Simple DSL Implementation .erl scanner parser interpreter DSL $$$ byte code Credit DSL grant loan if ?? ?credit score exceeds 770 ? grant loan if ?? ?loan amount is below 20000 and? ?? ?down payment exceeds 2000 ? deny loan if ?? ?loan amount exceeds 500000 ? deny loan if ?? ?credit score is below 600 or? ?? ?liabilities exceeds assets ? ? Credit DSL grant loan if ?? ?credit? score? exceeds 770 ? grant loan if ?? ?loan amount is? below? 20000? and? ?? ?down payment exceeds 2000 ? deny loan if ?? ?loan amount exceeds 500000 ? deny loan if ?? ?credit score is below? 600 or? ?? ?liabilities exceeds assets ? ? Return Values Guards Variables Operators? From CreditDSL to credit_dsl.erl grant loan if ?? ?credit score exceeds 770 ? qualify_loan( args ) when CreditScore > 770 -> grant; grant loan if ?? ?loan amount is below 20000 and? ?? ?down payment exceeds 2000 qualify_loan( args ) when? ??? Loan < 20000 andalso DownPayment > 2000 -> grant; From CreditDSL to credit_dsl.erl deny loan if ?? ?loan amount exceeds 500000 ? qualify_loan( args ) when Loan > 500000 -> deny; ? ? ? deny loan if ?? ?credit score is below 600 or? ?? ?liabilities exceeds assets qualify_loan( args ) when? ??? CreditScore < 600 orelse Liabilities > Assets -> deny; ? Guard Sequence, the credit_dsl Module qualify_loan( args ) when ? ??? CreditScore > 770 -> grant;qualify_loan( args ) when? ??? Loan <