Domain-Specific Languages of Mathematics
Book, 2022

The main idea behind this book is to encourage readers 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.

The book is recommended for developers who are learning mathematics and would like to use Haskell to make sense of definitions and theorems. It is also a book for the mathematically interested who wants to explore functional programming and domain-specific languages. The book helps put into perspective the domains of Mathematics and Functional Programming and shows how Computer Science and Mathematics are usefully taught together.

Functional Programming




Patrik Jansson

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Cezar Ionescu

Chalmers, Computer Science and Engineering (Chalmers), Functional Programming

Jean-Philippe Bernardy

University of Gothenburg

Global systems Rapid Assessment tools through Constraint FUnctional Languages (GRACeFUL)

European Commission (EC) (EC/H2020/640954), 2015-02-01 -- 2018-01-31.

Centre of excellence for Global Systems Science (CoeGSS)

European Commission (EC) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.

Domain-Specific Languages of Mathematics (DSLsofMath)

Chalmers (37101406), 2014-08-01 -- 2016-06-30.

Subject Categories


Other Mathematics

Mathematical Analysis

Areas of Advance

Information and Communication Technology


Basic sciences

Learning and teaching

Pedagogical work




College Publications

Related datasets

Source code and text [dataset]


More information

Latest update