Author : Jean-Philippe Bernardy
Publisher :
ISBN 13 : 9781848903883
Total Pages : 268 pages
Book Rating : 4.9/5 (38 download)
Book Synopsis Domain-Specific Languages of Mathematics by : Jean-Philippe Bernardy
Download or read book Domain-Specific Languages of Mathematics written by Jean-Philippe Bernardy and published by . This book was released on 2022-01-05 with total page 268 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.