{"product_id":"domain-specific-languages-of-mathematics-9781848903883","title":"Domain-Specific Languages of Mathematics","description":"\u003cp\u003e The main idea behind this book is to encourage readers to approach \u003c\/p\u003e\u003cp\u003e mathematical domains from a functional programming perspective: to \u003c\/p\u003e\u003cp\u003e identify the main functions and types involved and, when necessary, to \u003c\/p\u003e\u003cp\u003e introduce new abstractions; to give calculational proofs; to pay \u003c\/p\u003e\u003cp\u003e attention to the syntax of the mathematical expressions; and, finally, \u003c\/p\u003e\u003cp\u003e to organize the resulting functions and types in domain-specific languages.\u003c\/p\u003e\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e\u003cp\u003e The book is recommended for developers who are learning mathematics and \u003c\/p\u003e\u003cp\u003e would like to use Haskell to make sense of definitions and theorems. It \u003c\/p\u003e\u003cp\u003e is also a book for the mathematically interested who wants to explore \u003c\/p\u003e\u003cp\u003e functional programming and domain-specific languages. The book helps put \u003c\/p\u003e\u003cp\u003e into perspective the domains of Mathematics and Functional Programming \u003c\/p\u003e\u003cp\u003e and shows how Computer Science and Mathematics are usefully taught together.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-9218043\"\u003ePatrik Jansson\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-15223504\"\u003eCezar Ionescu\u003c\/a\u003e, \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-15223505\"\u003eJean-Philippe Bernardy\u003c\/a\u003e\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e College Publications\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/05\/2022\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 268\u003cbr\u003e\u003cb\u003eBinding Type:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 0.84lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.56d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781848903883\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 184890388X\u003cbr\u003e\u003cb\u003eBISAC Categories:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-MAT\"\u003eMathematics\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-MAT018000\"\u003eLogic\u003c\/a\u003e\u003cbr\u003e\u003cp\u003e\u003ci\u003eThis title is not returnable\u003c\/i\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"College Publications","offers":[{"title":"Default Title","offer_id":44441759547629,"sku":"9781848903883","price":28.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_4c1f73b7-bd20-472e-a375-e5865a0573e3.jpg?v=1700197133","url":"https:\/\/sureshotbooks.com\/products\/domain-specific-languages-of-mathematics-9781848903883","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}