Domain Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
2016-11-29: Finally published in EPTCS: https://arxiv.org/abs/1611.09475
Abstract: "We present the approach underlying a course on Domain-Specific Languages of Mathematics, 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."
@Inproceedings{EPTCS230.1,
author = {Ionescu, Cezar and Jansson, Patrik},
year = {2016},
title = {Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming},
editor = {Jeuring, Johan and McCarthy, Jay},
booktitle = {Proceedings of the 4th and 5th International Workshop on
Trends in Functional Programming in Education,
Sophia-Antipolis, France and University of Maryland College Park, USA, 2nd June 2015 and 7th June 2016},
series = {Electronic Proceedings in Theoretical Computer Science},
volume = {230},
publisher = {Open Publishing Association},
pages = {1--15},
doi = {10.4204/EPTCS.230.1},
}2015-11-28: The DSLsofMath paper is now in the TFPIE Proceedings TechReport
2015-09-12: DSLsofMath paper sent to the Post-Proceedings of TFPIE after minor revisions prompted by the referees.
2015-09-01: Paper accepted (with minor revisions) for inclusion in the proceedings of TFPIE 2015.
2015-08-25: Presentation at the joint ACCFun + IFIP WG 2.1 work meeting. (Source code, talk list.)
2015-07-07: Submitted the paper to the Post-Proceedings of TFPIE.
2015-06-02: TFPIE workshop programme
2015-06-01: Presentation slides
2015-05-27: Started preparing the TFPIE talk in talk/.
2015-05-09: Started type-checking the examples in the paper in src/.
2015-05-04: Submission accepted for presentation at the TFPIE workshop on June 2nd.
2015-04-27: Draft paper submission: "Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming" to Trends in Functional Programming in Education (TFPIE 2015). The draft was accepted for presentation and the full paper was later submitted to ENTCS (RoMEO green).
Authors: Cezar Ionescu and Patrik Jansson, Chalmers
##Abstract In this paper, we present the approach underlying a course on Domain-Specific Languages of Mathematics, which is 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 organize the resulting functions and types in domain-specific languages.
##Links