Domain-Specific Languages of Mathematics

Domain-Specific Languages of Mathematics

Versandfertig in 1-2 Wochen
22,99 €
inkl. MwSt.
PAYBACK Punkte
11 °P sammeln!
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 i...