2016/11/29 by Cezar Ionescu, Patrik Jansson · 1 voice
Computer Science · #cs.CY #cs.PL
paper · pdf · doi:10.4204/eptcs.230.1
published as EPTCS 230, 2016, pp. 1-15 · In Proceedings TFPIE 2015/6, arXiv:1611.08651
arxiv created 2016/11/29 · arxiv published 2016/11/29 · arxiv updated 2016/11/30
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.