Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis using Functional Programming
Paper i proceeding, 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

Författare

Cezar Ionescu

Chalmers, Data- och informationsteknik, Programvaruteknik

Patrik Jansson

Chalmers, Data- och informationsteknik, Programvaruteknik

Electronic Proceedings in Theoretical Computer Science, EPTCS

20752180 (ISSN)

Vol. 230 1-15

Ämneskategorier

Didaktik

Datavetenskap (datalogi)

Matematisk analys

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

Lärande och undervisning

Pedagogiskt arbete

DOI

10.4204/EPTCS.230.1