Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming
arXiv:1611.09475 · doi:10.4204/EPTCS.230.1
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.
In Proceedings TFPIE 2015/6, arXiv:1611.08651