Functional Programming for Domain-Specific Languages

被引：13
|
作者：
Gibbons, Jeremy [1 ]
机构：
[1] Univ Oxford, Dept Comp Sci, Oxford, England
来源：
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013 | 2015年 / 8606卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
10.1007/978-3-319-15940-9_1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Domain-specific languages are a popular application area for functional programming; and conversely, functional programming is a popular implementation vehicle for domain-specific languages-at least, for embedded ones. Why is this? The appeal of embedded domain-specific languages is greatly enhanced by the presence of convenient lightweight tools for defining, implementing, and optimising new languages; such tools represent one of functional programming's strengths. In these lectures we discuss functional programming techniques for embedded domain-specific languages; we focus especially on algebraic datatypes and higher-order functions, and their influence on deep and shallow embeddings.
引用
收藏
页码：1 / 28
页数：28
相关论文
共 50 条
  • [21] A Pedagogical Framework for Domain-Specific Languages
    Fowler, Martin
    IEEE SOFTWARE, 2009, 26 (04) : 13 - 14
  • [22] Program Comprehension for Domain-Specific Languages
    Varanda Pereira, Maria Joao
    Mernik, Marjan
    da Cruz, Daniela
    Henriques, Pedro Rangel
    COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2008, 5 (02) : 1 - 17
  • [23] Defining and Using Domain-Specific Languages
    Lyytinen, Kalle
    Welke, Richard
    IEEE SOFTWARE, 2010, 27 (01) : 8 - 8
  • [24] Unit Testing for Domain-Specific Languages
    Wu, Hui
    Gray, Jeff
    Mernik, Marjan
    DOMAIN-SPECIFIC LANGUAGES, PROCEEDINGS, 2009, 5658 : 125 - +
  • [25] Domain-Specific Languages for Enterprise Systems
    Andersen, Jesper
    Bahr, Patrick
    Henglein, Fritz
    Hvitved, Tom
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I, 2014, 8802 : 73 - 95
  • [26] Writing Domain-Specific Languages for BeepBeep
    Halle, Sylvain
    Khoury, Raphael
    RUNTIME VERIFICATION (RV 2018), 2018, 11237 : 447 - 457
  • [27] A Survey on Domain-Specific Languages in Robotics
    Nordmann, Arne
    Hochgeschwender, Nico
    Wrede, Sebastian
    SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR 2014), 2014, 8810 : 195 - 206
  • [28] A Module System for Domain-Specific Languages
    Jackson, Ethan K.
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2014, 14 : 771 - 785
  • [29] Software Evolution to Domain-Specific Languages
    Fehrenbach, Stefan
    Erdweg, Sebastian
    Ostermann, Klaus
    SOFTWARE LANGUAGE ENGINEERING (SLE 2013), 2013, 8225 : 96 - 116
  • [30] Domain-specific languages for ecological modelling
    Holst, Niels
    Belete, Getachew F.
    ECOLOGICAL INFORMATICS, 2015, 27 : 26 - 38
12345