Domain-Specific Languages of Mathematics
Bok, 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.

DSL

Functional Programming

Haskell

Författare

Patrik Jansson

Chalmers, Data- och informationsteknik, Funktionell programmering

Cezar Ionescu

Chalmers, Data- och informationsteknik, Funktionell programmering

Jean-Philippe Bernardy

Programvaruteknik

Matematikens domänspecifika språk (DSLsofMath)

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

Centre of excellence for Global Systems Science (CoeGSS)

Europeiska kommissionen (EU) (EC/H2020/676547), 2015-10-01 -- 2018-09-30.

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Europeiska kommissionen (EU) (EC/H2020/640954), 2015-02-01 -- 2018-01-31.

Ämneskategorier

Didaktik

Annan matematik

Matematisk analys

Styrkeområden

Informations- och kommunikationsteknik

Fundament

Grundläggande vetenskaper

Lärande och undervisning

Pedagogiskt arbete

ISBN

9781848903883

Utgivare

College Publications

Relaterade dataset

Source code and text [dataset]

URI: https://github.com/DSLsofMath/DSLsofMath

Mer information

Senast uppdaterat

2022-04-14