Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

被引：7
|
作者：
Ionescu, Cezar [1 ]
Jansson, Patrik [1 ]
机构：
[1] Chalmers Univ Technol, Gothenburg, Sweden
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2016年 / 230期
关键词：
D O I：
10.4204/EPTCS.230.1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We present the approach underlying a course on Domain-Specific Languages of Mathematics [16], currently being developed at Chalmers in response to difficulties faced by third-year students in learning and applying classical mathematics (mainly real and complex analysis). The main idea is to encourage the students to approach mathematical domains from a functional programming perspective: to identify the main functions and types involved and, when necessary, to introduce new abstractions; to give calculational proofs; to pay attention to the syntax of the mathematical expressions; and, finally, to organise the resulting functions and types in domain-specific languages.
引用
收藏
页码：1 / 15
页数：15
相关论文
共 50 条
  • [1] Functional Programming for Domain-Specific Languages
    Gibbons, Jeremy
    CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, 2015, 8606 : 1 - 28
  • [2] Using Ontologies in the Domain Analysis of Domain-Specific Languages
    Tairas, Robert
    Mernik, Marjan
    Gray, Jeff
    MODELS IN SOFTWARE ENGINEERING, 2009, 5421 : 332 - +
  • [3] Obstacles and opportunities with using visual and domain-specific languages in scientific programming
    Jones, Michael
    Scaffidi, Christopher
    2011 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2011), 2011, : 9 - 16
  • [4] Defining and Using Domain-Specific Languages
    Lyytinen, Kalle
    Welke, Richard
    IEEE SOFTWARE, 2010, 27 (01) : 8 - 8
  • [5] Domain-Specific Programming Languages for Computational Nucleic Acid Systems
    Lakin, Matthew R.
    Phillips, Andrew
    ACS SYNTHETIC BIOLOGY, 2020, 9 (07): : 1499 - 1513
  • [6] Domain-specific model differencing for graphical domain-specific languages
    Jafarlou, Manouchehr Zadahmad
    ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 205 - 208
  • [7] A Technology for BigData Analysis Task Description using Domain-Specific Languages
    Kovalchuk, Sergey V.
    Zakharchuk, Artem V.
    Liao, Jiaqi
    Ivanov, Sergey V.
    Boukhanovsky, Alexander V.
    2014 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, 2014, 29 : 488 - 498
  • [8] On domain-specific languages reengineering
    Alias, C
    Barthou, D
    GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, 2005, 3676 : 63 - 77
  • [9] Unembedding Domain-Specific Languages
    Atkey, Robert
    Lindley, Sam
    Yallop, Jeremy
    HASKELL'09: PROCEEDINGS OF THE 2009 ACM SIGPLAN HASKELL SYMPOSIUM, 2009, : 37 - 48
  • [10] On the Globalization of Domain-Specific Languages
    Cheng, Betty H. C.
    Combemale, Benoit
    France, Robert B.
    Jezequel, Jean-Marc
    Rumpe, Bernhard
    GLOBALIZING DOMAIN-SPECIFIC LANGUAGES, 2015, 9400 : 1 - 6
12345