Domain-Specific Languages of Mathematics
Jansson, Patrik; Ionescu, Cezar; Bernardy, Jean-Philippe
Sold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since 22 November 2018
New - Soft cover
Condition: New
Quantity: 4 available
Add to basketSold by Books Puddle, New York, NY, U.S.A.
AbeBooks Seller since 22 November 2018
Condition: New
Quantity: 4 available
Add to basketThe 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.
"About this title" may belong to another edition of this title.
We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.
| Order quantity | 12 to 19 business days | 12 to 14 business days |
|---|---|---|
| First item | £ 3.01 | £ 5.26 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.