Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Paper in proceedings, 2016

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.

teaching

education

course

Types

Author

Cezar Ionescu

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Patrik Jansson

Chalmers, Computer Science and Engineering (Chalmers), Software Technology (Chalmers)

Electronic Proceedings in Theoretical Computer Science, EPTCS

20752180 (ISSN)

Vol. 230 1-15

Subject Categories

Didactics

Computer Science

Mathematical Analysis

Areas of Advance

Information and Communication Technology

Roots

Basic sciences

Learning and teaching

Pedagogical work

DOI

10.4204/EPTCS.230.1

More information

Created

10/7/2017