Patrik Jansson

Professor of Computer Science


Computer Science and Engineering

Chalmers University of Technology

DSLsofMath: Domain-Specific Languages of Mathematics

The DSLsofMath project has resulted in a BSc level course, a textbook, a GitHub repository and a few other publications.

The main idea behind the 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.



Domain-Specific Languages of Mathematics: Presenting Mathematical Analysis Using Functional Programming

Cezar Ionescu, Patrik Jansson

EPTCS, Johan Jeuring, Jay McCarthy, Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016, vol. 230, 2016, pp. 1--15

Examples and Results from a BSc-level Course on Domain Specific Languages of Mathematics

Patrik Jansson, Sólrún Halla Einarsdóttir, Cezar Ionescu

EPTCS, Peter Achten, Heather Miller, Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018, vol. 295, 2018, pp. 79--90

Domain-Specific Languages of Mathematics

Patrik Jansson, Cezar Ionescu, Jean-Philippe Bernardy

Texts in Computing, vol. 24, College Publications,, 2022 Jan, p. 268


Follow this website

You need to create an Owlstown account to follow this website.

Sign up

Already an Owlstown member?

Log in