Patrik Jansson: Domain-Specific Languages of Mathematics, Kartoniert / Broschiert
Domain-Specific Languages of Mathematics
(soweit verfügbar beim Lieferanten)
- Verlag:
- College Publications, 01/2022
- Einband:
- Kartoniert / Broschiert, Paperback
- Sprache:
- Englisch
- ISBN-13:
- 9781848903883
- Artikelnummer:
- 10833472
- Umfang:
- 268 Seiten
- Gewicht:
- 412 g
- Maße:
- 234 x 156 mm
- Stärke:
- 14 mm
- Erscheinungstermin:
- 5.1.2022
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
