Domain-Specific Languages of Mathematics - Couverture souple

Jansson, Patrik; Ionescu, Cezar; Bernardy, Jean-Philippe

 
9781848903883: Domain-Specific Languages of Mathematics
Couverture souple
ISBN 10 : 184890388X ISBN 13 : 9781848903883
Editeur : College Publications, 2022

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
College Publications
Date d'édition
2022
Langue
anglais
ISBN 10 
184890388X
ISBN 13 
9781848903883
Reliure
Broché
Nombre de pages
268
Coordonnées du fabricant
non disponible
Personne responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Allemagne